Jan Cederquist

14 papers A 1B 1C 1Misc 1Journal 4Unranked 6

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	AtomiS: Data-Centric Synchronization Made Practical. Proc. ACM Program. Lang. Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
2023	J	`jnl`	Sound Atomicity Inference for Data-Centric Synchronization. CoRR Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
2019	J	`jnl`	Information flow in a distributed security setting. CoRR Ana Almeida Matos, Jan Cederquist
2014	C	`conf`	Distributed Noninterference. PDP Ana Almeida Matos, Jan Cederquist
2013	B	`conf`	Informative Types and Effects for Hybrid Migration Control. RV Ana Almeida Matos, Jan Cederquist
2011	Misc	`conf`	Complexity of fairness constraints for the Dolev-Yao attacker model. SAC Jan Cederquist, Mohammad Torabi Dashti
2011	J	`jnl`	Non-disclosure for distributed mobile code. Math. Struct. Comput. Sci. Ana Almeida Matos, Jan Cederquist
2011	—	`conf`	Risk Balance in Optimistic Non-repudiation Protocols. Formal Aspects in Security and Trust Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang
2007	—	`conf`	A Certified Email Protocol Using Key Chains. AINA Workshops (1) Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw
2006	—	`conf`	An intruder model for verifying liveness in security protocols. FMSE Jan Cederquist, Muhammad Torabi Dashti
2004	A	`conf`	A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. IJCAR Gilles Barthe, Jan Cederquist, Sabrina Tarento
2004	—	`conf`	Formal Analysis of a Fair Payment Protocol. Formal Aspects in Security and Trust Jan Cederquist, Muhammad Torabi Dashti
1996	—	`conf`	An Implementation of the Heine-Borel Covering Theorem in Type Theory. TYPES Jan Cederquist
1995	—	`conf`	A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals. TYPES Jan Cederquist, Sara Negri