Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Amorim, Arthur Azevedo de
541  Ergebnisse:
Personensuche X
?
1

Bunched Fuzz: Sensitivity for Vector Metrics:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
wunder, june ; Amorim, Arthur Azevedo de ; Baillot, Patrick. - p. 451-478 , 2023
Link: https://doi.org/10.1007/..
 
?
2

On incorrectness logic and Kleene algebra with top and test:

Zhang, Cheng ; de Amorim, Arthur Azevedo ; Gaboardi, Marco
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-30 , 2022
Link: https://doi.org/10.1145/..
 
?
3

On incorrectness logic and Kleene algebra with top and test:

Zhang, Cheng ; de Amorim, Arthur Azevedo ; Gaboardi, Marco
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-30 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Learning Assumptions for Verifying Cryptographic Protocols ..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
Zhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin. - p. 3-23 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Reconciling noninterference and gradual typing:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
de Amorim, Arthur Azevedo ; Fredrikson, Matt ; Jia, Limin - p. 116-129 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Automating Compositional Analysis of Authentication Protoco..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Zhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin. - p. 113-118 , 2020
Link: https://doi.org/10.34727..
 
?
7

Probabilistic relational reasoning via metrics:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,
de Amorim, Arthur Azevedo ; Gaboardi, Marco ; Hsu, Justin. - p. 1-19 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

Really Natural Linear Indexed Type Checking:

, In: Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages,
de Amorim, Arthur Azevedo ; Gaboardi, Marco ; Gallego Arias, Emilio Jesús. - p. 1-12 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

Pipelines and Beyond: Graph Types for ADTs with Futures:

Rinaldi, Francis ; wunder, june ; Azevedo de Amorim, Arthur.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 482-511 , 2024
Link: https://doi.org/10.1145/..
 
?
10

Netter: Probabilistic, Stateful Network Models:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Zhang, Han ; Zhang, Chi ; Azevedo de Amorim, Arthur... - p. 486-508 , 2021
Link: https://doi.org/10.1007/..
 
?
11

The Meaning of Memory Safety:

, In: Lecture Notes in Computer Science; Principles of Security and Trust,
Azevedo de Amorim, Arthur ; Hriţcu, Cătălin ; Pierce, Benjamin C. - p. 79-105 , 2018
Link: https://doi.org/10.1007/..
 
?
12

When Good Components Go Bad : Formally Secure Compilatio..:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,
Abate, Carmine ; Azevedo de Amorim, Arthur ; Blanco, Roberto... - p. 1351-1368 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

A semantic account of metric preservation:

Azevedo de Amorim, Arthur ; Gaboardi, Marco ; Hsu, Justin..
ACM SIGPLAN Notices.  52 (2017)  1 - p. 545-556 , 2017
Link: https://doi.org/10.1145/..
 
?
14

A semantic account of metric preservation:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,
Azevedo de Amorim, Arthur ; Gaboardi, Marco ; Hsu, Justin.. - p. 545-556 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Testing noninterference, quickly:

HRIŢCU, CĂTĂLIN ; LAMPROPOULOS, LEONIDAS ; SPECTOR-ZABUSKY, ANTAL...
Journal of Functional Programming.  26 (2016)  - p. , 2016
Link: https://doi.org/10.1017/..
 
1-15