Verified low-level programming embedded in F von Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil

Volltext

Polymonadic Programming von Hicks, Michael, Bierman, Gavin, Guts, Nataliya, Leijen, Daan, Swamy, Nikhil

Volltext

Modular Protections against Non-control Data Attacks von Schlesinger, C., Pattabiraman, K., Swamy, N., Walker, D., Zorn, B.

Volltext

Steel: proof-oriented programming in a dependently typed concurrent separation logic von Fromherz, Aymeric, Rastogi, Aseem, Swamy, Nikhil, Gibson, Sydney, Martínez, Guido, Merigoux, Denis, Ramananandro, Tahina

Volltext

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs von Swamy, Nikhil, Rastogi, Aseem, Fromherz, Aymeric, Merigoux, Denis, Ahman, Danel, Martínez, Guido

Volltext

A verified, efficient embedding of a verifiable assembly language von Fromherz, Aymeric, Giannarakis, Nick, Hawblitzel, Chris, Parno, Bryan, Rastogi, Aseem, Swamy, Nikhil

Volltext

Implementing and Proving the TLS 1.3 Record Layer von Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Protzenko, Jonathan, Rastogi, Aseem, Swamy, Nikhil, Zanella-Beguelin, Santiago, Bhargavan, Karthikeyan, Jianyang Pan, Zinzindohoue, Jean Karim

Volltext

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider von Protzenko, Jonathan, Parno, Bryan, Fromherz, Aymeric, Hawblitzel, Chris, Polubelova, Marina, Bhargavan, Karthikeyan, Beurdouche, Benjamin, Choi, Joonwon, Delignat-Lavaud, Antoine, Fournet, Cedric, Kulatova, Natalia, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil, Wintersteiger, Christoph M., Zanella-Beguelin, Santiago

Volltext

Fable: A Language for Enforcing User-defined Security Policies von Swamy, N., Corcoran, B.J., Hicks, M.

Volltext

Verified Security for Browser Extensions von Guha, A., Fredrikson, M., Livshits, B., Swamy, N.

Volltext

Modular protections against non-control data attacks von Schlesinger, Cole, Pattabiraman, Karthik, Swamy, Nikhil, Walker, David, Zorn, Benjamin

Volltext

Secure distributed programming with value-dependent types von SWAMY, NIKHIL, CHEN, JUAN, FOURNET, CÉDRIC, STRUB, PIERRE-YVES, BHARGAVAN, KARTHIKEYAN, YANG, JEAN

Volltext

Recalling a witness: foundations and applications of monotonic state von Ahman, Danel, Fournet, Cédric, Hriţcu, Cătălin, Maillard, Kenji, Rastogi, Aseem, Swamy, Nikhil

Volltext

Safe manual memory management in Cyclone von Swamy, Nikhil, Hicks, Michael, Morrisett, Greg, Grossman, Dan, Jim, Trevor

Volltext

Verifying higher-order programs with the dijkstra monad von Swamy, Nikhil, Weinberger, Joel, Schlesinger, Cole, Chen, Juan, Livshits, Benjamin

Volltext

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts von Rao, Nikitha, Gilbert, Elizabeth, Ramananandro, Tahina, Swamy, Nikhil, Goues, Claire Le, Fakhoury, Sarah

Volltext bestellen

Dependent types and multi-monadic effects in F von Swamy, Nikhil, Hriţcu, Cătălin, Keller, Chantal, Rastogi, Aseem, Delignat-Lavaud, Antoine, Forest, Simon, Bhargavan, Karthikeyan, Fournet, Cédric, Strub, Pierre-Yves, Kohlweiss, Markulf, Zinzindohoue, Jean-Karim, Zanella-Béguelin, Santiago

Volltext

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming von Chakraborty, Saikat, Ebner, Gabriel, Bhat, Siddharth, Fakhoury, Sarah, Fatima, Sakina, Lahiri, Shuvendu, Swamy, Nikhil

Volltext bestellen

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers von Fakhoury, Sarah, Kuppe, Markus, Lahiri, Shuvendu K, Ramananandro, Tahina, Swamy, Nikhil

Volltext bestellen

Enforcing Stateful Authorization and Information Flow Policies in FINE von Swamy, Nikhil, Chen, Juan, Chugh, Ravi

Volltext