I agree that this site is using cookies. You can find further informations here.
X
Guanciale, Roberto
81  results:
Search for persons X
?
1

Beyond Over-Protection: A Targeted Approach to Spectre Miti..:

, In: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security,
Marinaro, Tiziano ; Buiras, Pablo ; Lindner, Andreas.. - p. 203-216 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

HOL4P4: Mechanized Small-Step Semantics for P4:

Alshnakat, Anoud ; Lundberg, Didrik ; Guanciale, Roberto.
Proceedings of the ACM on Programming Languages.  8 (2024)  OOPSLA1 - p. 223-249 , 2024
Link: https://doi.org/10.1145/..
 
?
3

P4R-Type: A Verified API for P4 Control Plane Programs:

Larsen, Jens Kanstrup ; Guanciale, Roberto ; Haller, Philipp.
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 1935-1963 , 2023
Link: https://doi.org/10.1145/..
 
?
4

Formal Verification of Correctness and Information Flow Sec..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Dong, Ning ; Guanciale, Roberto ; Dam, Mads. - p. 247-256 , 2023
Link: https://doi.org/10.34727..
 
?
5

Secure Partitioning of Cloud Applications, with Cost Look-A..:

Bocci, Alessandro ; Forti, Stefano ; Guanciale, Roberto..
Future Internet.  15 (2023)  7 - p. 224 , 2023
Link: https://doi.org/10.3390/..
 
?
6

A Case Study in Information Flow Refinement for Low Level S..:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Guanciale, Roberto ; Baumann, Christoph ; Buiras, Pablo.. - p. 54-79 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Effective Reskilling of Foreign-Born People at Universities..:

Wiggberg, Mattias ; Gobena, Elina ; Kaulio, Matti...
IEEE Access.  10 (2022)  - p. 24556-24565 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Secure Partitioning of Composite Cloud Applications:

, In: Service-Oriented and Cloud Computing; Lecture Notes in Computer Science,
Bocci, Alessandro ; Guanciale, Roberto ; Forti, Stefano.. - p. 47-64 , 2022
Link: https://doi.org/10.1007/..
 
?
9

HOL4P4 : semantics for a verified data plane:

, In: Proceedings of the 5th International Workshop on P4 in Europe,
Alshnakat, Anoud ; Lundberg, Didrik ; Guanciale, Roberto.. - p. 39-45 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Foundations and Tools in HOL4 for Analysis of Microarchitec..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Palmskog, Karl ; Yao, Xiaomo ; Dong, Ning.. - p. 129-138 , 2022
Link: https://doi.org/10.34727..
 
?
11

Formally Verified Isolation of DMA:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Haglund, Jonas ; Guanciale, Roberto - p. 118-128 , 2022
Link: https://doi.org/10.34727..
 
?
12

SoK: Confidential Quartet - Comparison of Platforms for Vir..:

, In: 2022 IEEE International Symposium on Secure and Private Execution Environment Design (SEED),
Guanciale, Roberto ; Paladi, Nicolae ; Vahidi, Arash - p. 109-120 , 2022
Link: https://doi.org/10.1109/..
 
?
13

An abstract framework for choreographic testing:

Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  123 (2021)  - p. 100712 , 2021
Link: https://doi.org/10.1016/..
 
?
14

A tool chain for choreographic design:

Guanciale, Roberto ; Tuosto, Emilio
Science of Computer Programming.  202 (2021)  - p. 102535 , 2021
Link: https://doi.org/10.1016/..
 
?
15

On Compositional Information Flow Aware Refinement:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Baumann, Christoph ; Dam, Mads ; Guanciale, Roberto. - p. 1-16 , 2021
Link: https://doi.org/10.1109/..
 
1-15