Items where Author is "Rastogi, Aseem"

Group by: Item Type | No Grouping

Number of items: 5.

Brahmakshatriya, Ajay and Kedia, Piyus and Nemati, Hamed and McKee, Derrick and Bhatu, Pratik and Garg, Deepak and Lal, Akash and Rastogi, Aseem

(2019) ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code.

In: Proceedings of the Fourteenth EuroSys Conference 2019, March 25-28, 2019, Dresden, Germany.

Conference: EuroSys Eurosys Conference

Brahmakshatriya, Ajay and Kedia, Piyus and Nemati, Hamed and McKee, Derrick and Bhatu, Pratik and Garg, Deepak and Lal, Akash and Rastogi, Aseem

(2018) CONFLLVM: Compiler-Based Information Flow Control in Low-Level Code.

In: In Submission.

Conference: EuroS&P IEEE European Symposium on Security and Privacy

(Submitted)

Grimm, Niklas and Maillard, Kenji and Fournet, Cédric and Hritcu, Catalin and Maffei, Matteo and Protzenko, Jonathan and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil and Béguelin, Santiago Zanella

(2018) A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.

In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018.

Brahmakshatriya, Ajay and Kedia, Piyus and McKee, Derrick Paul and Bhatu, Pratik and Garg, Deepak and Lal, Akash and Rastogi, Aseem

(2017) An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code.

CoRR, abs/17.

Grimm, Niklas and Maillard, Kenji and Fournet, Cédric and Hritcu, Catalin and Maffei, Matteo and Protzenko, Jonathan and Rastogi, Aseem and Swamy, Nikhil and Béguelin, Santiago Zanella

(2017) A Monadic Framework for Relational Verification (Functional Pearl).

CoRR, abs/17.

This list was generated on Sun Dec 22 02:42:46 2024 CET.

Export as	Atom RSS 1.0 RSS 2.0