|
|
All published work may be under copyright of their respective publishers
Papers
- A modal type theory of expected cost in higher-order probabilistic programs
[preprint
|here]
With Gilles Barthe and Deepak Garg
In Proceedings of the ACM on Programming Languages (OOPSLA), 2024
- Towards relating hyper- and epistemic-temporal logics
[here]
With Matvey Soloviev and Musard Balliu
Workshop on Programming Languages and Analysis for Security (PLAS), 2024
- Information Flow above Optimising Compilers With Weak Memory
[here]
With Jay Richards and Mark Batty
Workshop on Programming Languages and Analysis for Security (PLAS), 2024
- From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
[here]
With Marco Vassena, Alejandro Russo, Deepak Garg and Deian Stefan
In Foundations and Trends in Programming Languages, 2023
(Journal version of the POPL'19 paper)
- Counterfactual Explanations and Model Multiplicity: a Relational Verification
View [here]
With Francesco Leofante and Elena Botoeva
In International Conference on Principles of Knowledge Representation and
Reasoning (KR), 2023
- Permissive Runtime Information Flow Control in the Presence of Exceptions
[here]
With Abhishek Bichhawat, Deepak Garg and Christian Hammer
In Journal of Computer Security (JCS), 2021
- A unifying type-theory for higher-order (amortized) cost analysis
[here
| technical
appendix]
With Marco Gaboardi, Deepak Garg and Jan Hoffmann
In Proceedings of the ACM on Programming Languages (POPL), 2021
- On the expressiveness and semantics of information flow types
[here
| technical
appendix]
With Deepak Garg
In Journal of Computer Security (JCS), 2020
- From fine- to coarse-grained dynamic information flow control and back
[here]
With Marco Vassena, Alejandro Russo, Deepak Garg and
Deian Stefan
In Proceedings of the ACM on Programming Languages (POPL), 2019
Distinguished paper
- Types for information flow control: labeling granularity and semantic models
[here
| technical
appendix]
with Deepak Garg
In IEEE Computer Security Foundations Symposium
(CSF), 2018
Distinguished paper
- WebPol: Fine-grained information flow policies for web browsers
[here
| full
version]
with Abhishek Bichhawat, Jinank Jain, Deepak Garg and
Christian Hammer
In European Symposium on Research in Computer
Security (ESORICS), 2017
- Type systems for information flow control: The question of granularity
[here
| technical
report]
with Iulia Bastys, Willard Rafnsson and Deepak Garg
Invited article in ACM SIGLOG News, 2017
- On access control, capabilities, their equivalence and confused deputy attacks
[here
| technical
appendix]
with Deepak Garg and Tamara Rezk
In IEEE Computer Security Foundations Symposium
(CSF), 2016
- Information flow control for event handling and the DOM in web browsers
[here
| full
version | OCaml
Model]
with Abhishek Bichhawat, Deepak Garg and
Christian Hammer
In IEEE Computer Security Foundations Symposium
(CSF), 2015
RS3 best paper award
- Generalizing permissive-upgrade in dynamic information flow analysis
[here
| full version
(with minor revision)]
with Abhishek
Bichhawat, Deepak Garg and Christian Hammer
In ACM Workshop on Programming Languages and
Analysis for Security (PLAS), 2014
- Information flow control in webkit's javascript bytecode
[here
| full
version]
with Abhishek Bichhawat, Deepak Garg and
Christian Hammer
In Conference on Principles of Security and Trust
(POST), 2014
- Psi-CAL: Foundations of a programming language for services computing
[here]
with Arun Kumar and Dharanipragada Janakiram
In IEEE International Conference on Services
Computing (SCC), 2013
- KAAS: Kernel as a service
[here]
with Hemang Mehta, S. J. Balaji and Dharanipragada
Janakiram
In IEEE World Congress on Services (SERVICES),
2012
- Xi-Calculus: A calculus for service interactions
[here]
with Arun Kumar and Dharanipragada Janakiram
In IEEE International Conference on Services
Computing (SCC), 2010
Best paper nominee
- Object-oriented wrappers for the linux kernel
[here]
with D. Janakiram, Ashok Gunnam, N. Suneetha and K. Vinay
Kumar Reddy
In Journal of Software: Practice and Experience
(SPE), Vol. 38, 2008
Thesis
- A type-theory for higher-order amortized analysis
[here
| technical
report]
PhD thesis, 2020
Summa cum laude
Patents
- Heterogeneous disk to apply service level agreement levels
[here]
with Nagendra S. Tomar
US patent US10613786B2
- Non-homogeneous disk abstraction for data oriented applications
[here]
with Nagendra S. Tomar
US patent 9880773B2
|