( en | de | ru )

 

Disambiguierung von "Bugliesi, Michele"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Smart Contract Languages: a comparative analysis.

, , , , , , , , , , , , , und . CoRR, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michele Ocken

Michele Ferrari

Michele Galletti

Hannelore Michele

Michèle Mattusch

 

Weitere Publikationen von Autoren mit dem selben Namen

ALGOMOVE - A Move Embedding for Algorand., , , , und . Blockchain, Seite 62-67. IEEE, (2023)Formal Verification of Liferay RBAC., , und . ESSoS, Volume 8978 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2015)Automatic and Robust Client-Side Protection for Cookie-Based Sessions., , , und . ESSoS, Volume 8364 von Lecture Notes in Computer Science, Seite 161-178. Springer, (2014)Channel abstractions for network security., und . Math. Struct. Comput. Sci., 20 (1): 3-44 (2010)Quite a mess in my cookie jar!: leveraging machine learning to protect web authentication., , , und . WWW, Seite 189-200. ACM, (2014)AnBx - Security Protocols Design and Verification., und . ARSPA-WITS, Volume 6186 von Lecture Notes in Computer Science, Seite 164-184. Springer, (2010)Sub-session hijacking on the web: Root causes and prevention., , und . J. Comput. Secur., 27 (2): 233-257 (2019)Static vs Dynamic Typing for Access Control in Pi-Calculus., , und . ASIAN, Volume 4846 von Lecture Notes in Computer Science, Seite 282-296. Springer, (2007)On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction.. ELP, Volume 660 von Lecture Notes in Computer Science, Seite 205-215. Springer, (1992)Writing Real-Time .Net Games in Casanova., , , , , und . ICEC, Volume 7522 von Lecture Notes in Computer Science, Seite 341-348. Springer, (2012)