Paola Glavan

12 papers B 1C 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
Correctness of the Chord protocol.
Comput. Sci. Inf. Syst.
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
2019 J jnl
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol.
J. Log. Comput.
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer
2019 C conf
Probabilistic Consensus of the Blockchain Protocol.
ECSQARU
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer
2019 J jnl
Proving properties of the Chord protocol using the ASM formalism.
Theor. Comput. Sci.
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
2017 J jnl
Correctness of the Chord Protocol.
CoRR
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
2016 — conf
Correctness of the Chord Protocol.
IIKI
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek
2015 J jnl
Analyzing the exhaustiveness of the Synapse protocol.
Peer-to-Peer Netw. Appl.
Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic
2012 J jnl
Description of the Chord Protocol using ASMs Formalism
CoRR
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
2009 — conf
Verification of Causality Requirements in Java Memory Model Is Undecidable.
PPAM (2)
Matko Botincan, Paola Glavan, Davor Runje
1994 — conf
Evolving Algebra Model of Programming Language Semantics.
IFIP Congress (1)
Paola Glavan, Dean Rosenzweig
1994 — conf
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model.
IFIP Congress (1)
Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig
1992 B conf
Communicating Evolving Algebras.
CSL
Paola Glavan, Dean Rosenzweig
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling