E-LIB Suche - Ergebnisse für: Bugliesi, Michele

1

ALGOMOVE – A Move Embedding for Algorand:

, In: 2023 IEEE International Conference on Blockchain (Blockchain),

Benetollo, Lorenzo ; Bugliesi, Michele ; Crafa, Silvia.. - p. 62-67 , 2023

Link: https://doi.org/10.1109/..

2

Testing for Integrity Flaws in Web Sessions:

, In: Lecture Notes in Computer Science; Computer Security – ESORICS 2019,

Calzavara, Stefano ; Rabitti, Alvise ; Ragazzo, Alessio. - p. 606-624 , 2019

Link: https://doi.org/10.1007/..

3

Semantically Sound Analysis of Content Security Policies:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Calzavara, Stefano ; Rabitti, Alvise ; Bugliesi, Michele - p. 293-297 , 2019

Link: https://doi.org/10.1007/..

4

Semantics-Based Analysis of Content Security Policy Deploym..:

Calzavara, Stefano ; Rabitti, Alvise ; Bugliesi, Michele
ACM Transactions on the Web. 12 (2018) 2 - p. 1-36 , 2018

Link: https://doi.org/10.1145/..

5

Semantics-Based Analysis of Content Security Policy Deploym..:

Calzavara, Stefano ; Rabitti, Alvise ; Bugliesi, Michele
ACM Transactions on the Web (TWEB). 12 (2018) 2 - p. 1-36 , 2018

Link: https://dl.acm.org/doi/1..

6

Formal methods for web security:

Bugliesi, Michele ; Calzavara, Stefano ; Focardi, Riccardo
Journal of Logical and Algebraic Methods in Programming. 87 (2017) - p. 110-126 , 2017

Link: https://doi.org/10.1016/..

7

Messge from the ECPE Organizing Committee:

, In: 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC),

Seceleanu, Tiberiu ; Margaria, Tiziana ; Subramanyan, Rajesh... - p. 281-281 , 2016

Link: https://doi.org/10.1109/..

8

Security protocol specification and verification with AnBx:

Bugliesi, Michele ; Calzavara, Stefano ; Mödersheim, Sebastian.
Journal of Information Security and Applications. 30 (2016) - p. 46-63 , 2016

Link: https://doi.org/10.1016/..

9

Content Security Problems? : Evaluating the Effectivenes..:

, In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,

Calzavara, Stefano ; Rabitti, Alvise ; Bugliesi, Michele - p. 1365-1375 , 2016

Link: https://dl.acm.org/doi/1..

10

Affine Refinement Types for Secure Distributed Programming:

Bugliesi, Michele ; Calzavara, Stefano ; Eigner, Fabienne.
ACM Transactions on Programming Languages and Systems. 37 (2015) 4 - p. 1-66 , 2015

Link: https://doi.org/10.1145/..

11

A Supervised Learning Approach to Protect Client Authentica..:

Calzavara, Stefano ; Tolomei, Gabriele ; Casini, Andrea..
ACM Transactions on the Web (TWEB). 9 (2015) 3 - p. 1-30 , 2015

Link: https://dl.acm.org/doi/1..

12

A Supervised Learning Approach to Protect Client Authentica..:

Calzavara, Stefano ; Tolomei, Gabriele ; Casini, Andrea..
ACM Transactions on the Web. 9 (2015) 3 - p. 1-30 , 2015

Link: https://doi.org/10.1145/..

13

Affine Refinement Types for Secure Distributed Programming:

Bugliesi, Michele ; Calzavara, Stefano ; Eigner, Fabienne.
ACM Transactions on Programming Languages and Systems (TOPLAS). 37 (2015) 4 - p. 1-66 , 2015

Link: https://dl.acm.org/doi/1..

14

Behavioural equivalences and interference metrics for mobil..:

Bugliesi, Michele ; Gallina, Lucia ; Hamadou, Sardaouna..
Performance Evaluation. 73 (2014) - p. 41-72 , 2014

Link: https://doi.org/10.1016/..

15

Quite a mess in my cookie jar! : leveraging machine lear..:

, In: Proceedings of the 23rd international conference on World wide web,

Calzavara, Stefano ; Tolomei, Gabriele ; Bugliesi, Michele. - p. 189-200 , 2014

Link: https://dl.acm.org/doi/1..