A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals. - Jan Cederquist; Sara Negri (TYPES, 1995)

An Implementation of the Heine-Borel Covering Theorem in Type Theory. - Jan Cederquist (TYPES, 1996)

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. - Gilles Barthe; Jan Cederquist; Sabrina Tarento (IJCAR, 2004)

Formal Analysis of a Fair Payment Protocol. - Jan Cederquist; Muhammad Torabi Dashti (Formal Aspects in Security and Trust, 2004)

On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. - J. G. Cederquist; Ricardo Corin; Muhammad Torabi Dashti (ICICS, 2005)

An Audit Logic for Accountability. - J. G. Cederquist; Ricardo Corin; M. A. C. Dekker; Sandro Etalle; J. I. den Hartog (POLICY, 2005)

An intruder model for verifying liveness in security protocols. - Jan Cederquist; Muhammad Torabi Dashti (FMSE, 2006)

A Certified Email Protocol Using Key Chains. - Jan Cederquist; Muhammad Torabi Dashti; Sjouke Mauw (AINA Workshops (1), 2007)

Extended privilege inheritance in RBAC. - M. A. C. Dekker; J. G. Cederquist; Jason Crampton; Sandro Etalle (AsiaCCS, 2007)

Audit-based compliance control. - J. G. Cederquist; Ricardo Corin; M. A. C. Dekker; Sandro Etalle; J. I. den Hartog; Gabriele Lenzini (Int. J. Inf. Sec., 2007)

Risk Balance in Optimistic Non-repudiation Protocols. - Mohammad Torabi Dashti; Jan Cederquist; Yanjing Wang 001 (Formal Aspects in Security and Trust, 2011)

Complexity of fairness constraints for the Dolev-Yao attacker model. - Jan Cederquist; Mohammad Torabi Dashti (SAC, 2011)

Non-disclosure for distributed mobile code. - Ana Almeida Matos; Jan Cederquist (Math. Struct. Comput. Sci., 2011)

Informative Types and Effects for Hybrid Migration Control. - Ana Almeida Matos; Jan Cederquist (RV, 2013)

Distributed Noninterference. - Ana Almeida Matos; Jan Cederquist (PDP, 2014)

Information flow in a distributed security setting. - Ana Almeida Matos; Jan Cederquist (CoRR, 2019)

Sound Atomicity Inference for Data-Centric Synchronization. - Hervé Paulino; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara (CoRR, 2023)

AtomiS: Data-Centric Synchronization Made Practical. - Hervé Paulino; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara (Proc. ACM Program. Lang., 2023)