Paverd, Andrew

C-FLAT: Control-Flow Attestation for Embedded Systems Software

Abera, T., Asokan, N., Davi, L., Ekberg, J.-E., Nyman, T., Paverd, A., Sadeghi, A.-R., & Tsudik, G. (2016) · Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security

Security and Verification in ComputingCryptographic Implementations and Security

Cited by 258

Analyzing Information Leakage of Updates to Natural Language Models

Zanella-Béguelin, S., Wutschitz, L., Tople, S., Rühle, V., Paverd, A., Ohrimenko, O., Köpf, B., & Brockschmidt, M. (2020) · Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security

Privacy-Preserving Technologies in DataAdversarial Robustness in Machine Learning

Cited by 86

Securing AI Agents with Information-Flow Control

Costa, M., Köpf, B., Kolluri, A., Paverd, A., Russinovich, M., Salem, A., Tople, S., Wutschitz, L., & Zanella-Béguelin, S. (2025) · arXiv

Security and Verification in ComputingAccess Control and Trust

Cited by 6

Design Patterns for Securing LLM Agents against Prompt Injections

Beurer-Kellner, L., Buesser, B., Creţu, A.-M., Debenedetti, E., Dobos, D., Fabian, D., Fischer, M., Froelicher, D., Grosse, K., Naeff, D., et al. (2025) · arXiv

Adversarial Robustness in Machine LearningSecurity and Verification in Computing

Cited by 2

Permissive Information-Flow Analysis for Large Language Models

Siddiqui, S. A., Gaonkar, R., Köpf, B., Krueger, D., Paverd, A., Salem, A., Tople, S., Wutschitz, L., Xia, M., & Zanella-Béguelin, S. (2024) · arXiv

Security and Verification in ComputingAdversarial Robustness in Machine Learning

Cited by 0