Aseem Rastogi

Orcid: 0000-0003-3283-8011

According to our database1, Aseem Rastogi authored at least 50 papers between 2012 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Enabling Memory Safety of C Programs using LLMs.
CoRR, 2024

Welding Natural Language Queries to Analytics IRs with LLMs.
Proceedings of the 14th Conference on Innovative Data Systems Research, 2024

2023
Finding Inductive Loop Invariants using Large Language Models.
CoRR, 2023

Fixing Rust Compilation Errors using LLMs.
CoRR, 2023

Proof-oriented programming for high-assurance systems.
Proceedings of the 16th Innovations in Software Engineering Conference, 2023

Ranking LLM-Generated Loop Invariants for Program Verification.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation.
IACR Cryptol. ePrint Arch., 2022

Hardening attack surfaces with formally proven binary format parsers.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021
Steel: proof-oriented programming in a dependently typed concurrent separation logic.
Proc. ACM Program. Lang., 2021

SIRNN: A Math Library for Secure RNN Inference.
IACR Cryptol. ePrint Arch., 2021

DICE*: A Formally Verified Implementation of DICE Measured Boot.
Proceedings of the 30th USENIX Security Symposium, 2021

SiRnn: A Math Library for Secure RNN Inference.
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

FastVer: Making Data Integrity a Commodity.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Celestial: A Smart Contracts Verification Framework.
Proceedings of the Formal Methods in Computer Aided Design, 2021

2020
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.
Proc. ACM Program. Lang., 2020

CrypTFlow2: Practical 2-Party Secure Inference.
IACR Cryptol. ePrint Arch., 2020

Secure Medical Image Analysis with CrypTFlow.
CoRR, 2020


2019
A verified, efficient embedding of a verifiable assembly language.
Proc. ACM Program. Lang., 2019

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
IACR Cryptol. ePrint Arch., 2019

CrypTFlow: Secure TensorFlow Inference.
IACR Cryptol. ePrint Arch., 2019

Wys*: A DSL for Verified Secure Multi-party Computations.
Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

Tutorials and Technical Briefings at ISEC 2019.
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning.
Proceedings of the IEEE European Symposium on Security and Privacy, 2019

Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.
Proceedings of the Programming Languages and Systems, 2019

Reliable State Machines: A Framework for Programming Reliable Cloud Services.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
Recalling a witness: foundations and applications of monotonic state.
Proc. ACM Program. Lang., 2018

Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.
CoRR, 2018

A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017
Verified low-level programming embedded in F.
Proc. ACM Program. Lang., 2017

EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation.
IACR Cryptol. ePrint Arch., 2017

An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code.
CoRR, 2017

WYS*: A Verified Language Extension for Secure Multi-party Computations.
CoRR, 2017

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

Verified Low-Level Programming Embedded in F<sup>*</sup>.
CoRR, 2017


Dijkstra monads for free.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations.
PhD thesis, 2016

Implementing and Proving the TLS 1.3 Record Layer.
IACR Cryptol. ePrint Arch., 2016

Dijkstra Monads for Free.
CoRR, 2016

Dependent types and multi-monadic effects in F.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Formal Verification of Smart Contracts: Short Paper.
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015
Safe & Efficient Gradual Typing for TypeScript.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations.
Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Gradual typing embedded securely in JavaScript.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
Knowledge inference for optimizing secure multi-party computation.
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

2012
The ins and outs of gradual type inference.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Types and Access Controls for Cross-Domain Security in Flash.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012


  Loading...