( en | de | ru )

 

Disambiguierung von "Degano, Pierpaolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FWS: Analyzing, maintaining and transcompiling firewalls.

, , , , , , , und . J. Comput. Secur., 29 (1): 77-134 (2021)

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.

Peter Degano

Pierpaolo Cincilla

 

Weitere Publikationen von Autoren mit dem selben Namen

Fairness and Priority., und . Fundam. Informaticae, 22 (3): 299-306 (1995)Toward an Inductionless Technique for Proving Properties of Logic Programs., , und . ICLP, Seite 175-181. ADDP-GIA, (1982)Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)., , und . CoRR, (2020)MuAC: Access Control Language for Mutual Benefits., , und . ITASEC, Volume 2597 von CEUR Workshop Proceedings, Seite 119-127. CEUR-WS.org, (2020)A Formal Analysis of Complex Type Flaw Attacks on Security Protocols., , und . AMAST, Volume 5140 von Lecture Notes in Computer Science, Seite 167-183. Springer, (2008)Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty., , und . Protocols, Strands, and Logic, Volume 13066 von Lecture Notes in Computer Science, Seite 124-138. Springer, (2021)Observation Trees., , und . NAPAW, Seite 103-118. Springer, (1992)Cells in Silico: A Holistic Approach., , , und . SFM, Volume 5016 von Lecture Notes in Computer Science, Seite 366-386. Springer, (2008)Debits and Credits in Petri Nets and Linear Logic., , , und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 135-159. Springer, (2015)Expressive Models for Synaptic Plasticity., , , und . CMSB, Volume 4695 von Lecture Notes in Computer Science, Seite 152-167. Springer, (2007)