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

Securing Verified IO Programs Against Unverified Code in F*:

Andrici, Cezar-Constantin ; Ciobâcă, Ștefan ; Hriţcu, Cătălin...
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 2226-2259 , 2024
Link: https://doi.org/10.1145/..
 
?
2

The Last Yard: Foundational End-to-End Verification of High..:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Haselwarter, Philipp G. ; Hvass, Benjamin Salling ; Hansen, Lasse Letager... - p. 30-44 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

A formal framework for correct and secure compilation:

Abate, Carmine , 2023
Link: https://nbn-resolving.de..
 
?
4

SSProve: A Foundational Framework for Modular Cryptographic..:

Haselwarter, Philipp G. ; Rivas, Exequiel ; Van Muylder, Antoine...
ACM Transactions on Programming Languages and Systems.  45 (2023)  3 - p. 1-61 , 2023
Link: https://doi.org/10.1145/..
 
?
5

SecurePtrs: Proving Secure Compilation with Data-Flow Back-..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
El-Korashy, Akram ; Blanco, Roberto ; Thibault, Jeremy... - p. 64-79 , 2022
Link: https://doi.org/10.1109/..
 
?
6

SSProve: A Foundational Framework for Modular Cryptographic..:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Abate, Carmine ; Haselwarter, Philipp G. ; Rivas, Exequiel... - p. 1-15 , 2021
Link: https://doi.org/10.1109/..
 
?
7

Proceedings of the 10th ACM SIGPLAN International Conferenc..:

Hriţcu, Cătălin ; Popescu, Andrei , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Dynamic IFC Theorems for Free!:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Algehed, Maximilian ; Bernardy, Jean-Philippe ; Hritcu, Catalin - p. 1-14 , 2021
Link: https://doi.org/10.1109/..
 
?
9

An Extended Account of Trace-relating Compiler Correctness ..:

Abate, Carmine ; Blanco, Roberto ; Ciobâcă, Ştefan...
ACM Transactions on Programming Languages and Systems.  43 (2021)  4 - p. 1-48 , 2021
Link: https://doi.org/10.1145/..
 
?
10

Proceedings of the 9th ACM SIGPLAN International Conference..:

Blanchette, Jasmin ; Hriţcu, Cătălin , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Trace-Relating Compiler Correctness and Secure Compilation:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Abate, Carmine ; Blanco, Roberto ; Ciobâcă, Ștefan... - p. 1-28 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Meta-F $$^\star $$ : Proof Automation with SMT, Tactics, an..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Martínez, Guido ; Ahman, Danel ; Dumitrescu, Victor... - p. 30-59 , 2019
Link: https://doi.org/10.1007/..
 
?
13

The next 700 relational program logics:

Maillard, Kenji ; Hriţcu, Cătălin ; Rivas, Exequiel.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-33 , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

Dijkstra monads for all:

Maillard, Kenji ; Ahman, Danel ; Atkey, Robert...
Proceedings of the ACM on Programming Languages.  3 (2019)  ICFP - p. 1-29 , 2019
Link: https://doi.org/10.1145/..
 
?
15

The next 700 relational program logics:

Maillard, Kenji ; Hriţcu, Cătălin ; Rivas, Exequiel.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-33 , 2019
Link: https://doi.org/10.1145/..
 
1-15