Items where Author is "Rastogi, Aseem"

Group by: Item Type | No Grouping

Jump to: Conference or Workshop Item (A Paper) | Article

Number of items: 5.

Conference or Workshop Item (A Paper)

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.

Article

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 Fri Apr 19 11:13:20 2024 CEST.

Export as	Atom RSS 1.0 RSS 2.0