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

Lifting Micro-Update Models from RTL for Formal Security An..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,
Godbole, Adwait ; Cheang, Kevin ; Manerkar, Yatin A.. - p. 631-648 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

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..
 
?
3

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/..
 
?
4

The Move Prover:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Zhong, Jingyi Emma ; Cheang, Kevin ; Qadeer, Shaz... - p. 137-150 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Formal Specification and Verification of Secure Information..:

Cheang, Kevin
qt48v179tb.  , 2023
Link: https://escholarship.org..
 
?
6

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..
 
?
7

Verifying RISC-V Physical Memory Protection:

Cheang, Kevin ; Rasmussen, Cameron ; Lee, Dayeol...
http://arxiv.org/abs/2211.02179.  , 2022
Link: http://arxiv.org/abs/221..
 
?
8

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..
 
?
9

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

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
qt0c79w0z8.  , 2022
Link: https://escholarship.org..
 
?
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

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..
 
?
13

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..
 
?
14

Synthesis in Uclid5:

Mora, Federico ; Cheang, Kevin ; Polgreen, Elizabeth.
qt63k829jc.  , 2020
Link: https://escholarship.org..
 
?
15

Synthesis in Uclid5:

Mora, Federico ; Cheang, Kevin ; Polgreen, Elizabeth.
http://arxiv.org/abs/2007.06760.  , 2020
Link: http://arxiv.org/abs/200..
 
1-15