Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gaddamadugu, Pranav
13  Ergebnisse:
Personensuche X
?
1

Cerberus : A Formal Approach to Secure and Efficient Enc..:

, In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security,
Lee, Dayeol ; Cheang, Kevin ; Thomas, Alexander... - p. 1871-1885 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

UCLID5: Multi-modal Formal Modeling, Verification, and Synt..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav... - p. 538-551 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Duet: an expressive higher-order language and linear type s..:

Near, Joseph P. ; Darais, David ; Abuah, Chike...
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-30 , 2019
Link: https://doi.org/10.1145/..
 
?
4

Duet: an expressive higher-order language and linear type s..:

Near, Joseph P. ; Darais, David ; Abuah, Chike...
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-30 , 2019
Link: https://dl.acm.org/doi/1..
 
?
5

Cerberus: A Formal Approach to Secure and Efficient Enclave..:

Lee, Dayeol ; Cheang, Kevin ; Thomas, Alexander...
http://arxiv.org/abs/2209.15253.  , 2022
Link: http://arxiv.org/abs/220..
 
?
6

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
http://arxiv.org/abs/2208.03699.  , 2022
Link: http://arxiv.org/abs/220..
 
?
7

UCLID5: Multi-modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
qt0c79w0z8.  , 2022
Link: https://escholarship.org..
 
?
8

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
doi:10.5281/zenodo.5646922.  , 2021
Link: https://zenodo.org/recor..
 
?
9

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
doi:10.5281/zenodo.5646922.  , 2021
Link: https://zenodo.org/recor..
 
?
10

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
doi:10.5281/zenodo.5646922.  , 2021
Link: https://zenodo.org/recor..
 
?
11

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
doi:10.5281/zenodo.5646922.  , 2021
Link: https://zenodo.org/recor..
 
?
12

Duet: An Expressive Higher-order Language and Linear Type S..:

Near, Joseph P ; Darais, David ; Abuah, Chike...
http://arxiv.org/abs/1909.02481.  , 2019
Link: http://arxiv.org/abs/190..
 
?
13

Duet: An Expressive Higher-order Language and Linear Type S..:

JOSEPH P. NEAR ; DAVID DARAIS ; CHIKE ABUAH...
doi:10.5281/zenodo.3364749.  , 2019
Link: https://zenodo.org/recor..
 
1-13