AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation von Gehr, Timon, Mirman, Matthew, Drachsler-Cohen, Dana, Tsankov, Petar, Chaudhuri, Swarat, Vechev, Martin

Volltext

VerX: Safety Verification of Smart Contracts von Permenev, Anton, Dimitrov, Dimitar, Tsankov, Petar, Drachsler-Cohen, Dana, Vechev, Martin

Volltext

Security Analysis of Smart Contracts in Datalog von Tsankov, Petar

Volltext

Network-Wide Configuration Synthesis von El-Hassany, Ahmed, Tsankov, Petar, Vanbever, Laurent, Vechev, Martin

Volltext

Decentralized Composite Access Control von Tsankov, Petar, Marinovic, Srdjan, Dashti, Mohammad Torabi, Basin, David

Volltext

COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act von Guldimann, Philipp, Spiridonov, Alexander, Staab, Robin, Jovanović, Nikola, Vero, Mark, Vechev, Velko, Gueorguieva, Anna, Balunović, Mislav, Konstantinov, Nikola, Bielik, Pavol, Tsankov, Petar, Vechev, Martin

Volltext bestellen

Automated Discovery of Adaptive Attacks on Adversarial Defenses von Yao, Chengyuan, Bielik, Pavol, Tsankov, Petar, Vechev, Martin

Volltext bestellen

Robustness Testing of AI Systems: A Case Study for Traffic Sign Recognition von Berghoff, Christian, Bielik, Pavol, Neu, Matthias, Tsankov, Petar, von Twickel, Arndt

Volltext

zkay v0.2: Practical Data Privacy for Smart Contracts von Baumann, Nick, Steffen, Samuel, Bichsel, Benjamin, Tsankov, Petar, Vechev, Martin

Volltext bestellen

Robustness testing of AI systems: A case study for traffic sign recognition von Berghoff, Christian, Bielik, Pavol, Neu, Matthias, Tsankov, Petar, Arndt von Twickel

Volltext

Constructing Mid-Points for Two-Party Asynchronous Protocols von Tsankov, Petar, Torabi-Dashti, Mohammad, Basin, David

Volltext

Inferring crypto API rules from code changes von Paletov, Rumen, Tsankov, Petar, Raychev, Veselin, Vechev, Martin

Volltext

Force Open: Lightweight black box file repair von Wüst, Karl, Tsankov, Petar, Radomirović, Saša, Torabi Dashti, Mohammad

Volltext

Access Control Synthesis for Physical Spaces von Tsankov, Petar, Dashti, Mohammad Torabi, Basin, David

Volltext bestellen

SECFUZZ: Fuzz-testing security protocols von Tsankov, P., Dashti, M. T., Basin, D.

Volltext bestellen

Automated Discovery of Adaptive Attacks on Adversarial Defenses von Yao, Chengyuan, Bielik, Pavol, Tsankov, Petar, Vechev, Martin

Volltext

Light-weight context tracking and repair for preventing integrity and confidentiality violations von Ferrara, Pietro, Pistoia, Marco, Tsankov, Petar, Tripp, Omer

Volltext bestellen

COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act von Guldimann, Philipp, Spiridonov, Alexander, Staab, Robin, Jovanović, Nikola, Vero, Mark, Vechev, Velko, Gueorguieva, Anna, Balunović, Mislav, Konstantinov, Nikola, Bielik, Pavol, Tsankov, Petar, Vechev, Martin

Volltext

Bayonet: probabilistic inference for networks von Gehr, Timon, Misailovic, Sasa, Tsankov, Petar, Vanbever, Laurent, Wiesmann, Pascal, Vechev, Martin

Volltext

Securify: Practical Security Analysis of Smart Contracts von Tsankov, Petar, Dan, Andrei, Drachsler-Cohen, Dana, Gervais, Arthur, Bünzli, Florian, Vechev, Martin

Volltext bestellen