Jan Cederquist

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 3

Top Topics

Receding Horizon

Information Flows

Challenges Facing

Top Venues

Proc. ACM Program. Lang.

Publications

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