On the Security and Safety of AbU Systems

von Pasqua, Michele
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

A Calculus for Attribute-Based Memory Updates

von Miculan, Marino
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

Automated Symbolic Verification of Telegram’s MTProto 2.0

von Miculan, Marino
Veröffentlicht in SECRYPT (18. : 2021 : Online) SECRYPT 2021 (2021)

Computing Embeddings of Directed Bigraphs

von Chiapperini, Alessio
Veröffentlicht in ICGT (13. : 2020 : Online) Graph transformation (2020)

A new criterion for M,N-adhesivity, with an application to hierarchical graphs

von Castelnovo, Davide
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Composable Partial Multiparty Session Types

von Stolze, Claude
Veröffentlicht in FACS (17. : 2021 : Online) Formal Aspects of Component Software (2021)

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 ; revised selected papers

Veröffentlicht 2008