Creating and sharing knowledge for telecommunications

IT Member Profile

... Jan Gunnar Cederquist

Researcher

Jan Cederquist

Academic position: Assistant Professor
Joining date: 31-12-2006
Roles in IT: Researcher
Thematic Line: Basic Sciences and Enabling Technologies
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

ORCID iD
https://www.orcid.org/0000-0003-2738-764X

Scientific Achievements

  • PhD, Göteborg University, 01-01-1997
8Supervision of MSc theses
As Supervisor
As Co-supervisor
4Books Chapters
  • A. Matos, J.C. Cederquist, Informative Types and Effects for Hybrid Migration Control, Chapter in, Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, Axel Legay and Saddek Bensalem, Springer, -, 2013
  • J.C. Cederquist, R. C. Corin, , On the quest for impartiality: Design and analysis of a fair non-repudiation protocol, Chapter in, 7th International Conference on Information and Communications Security, volume 3783 of Lecture Notes in Computer Science, pages 27-39, S. Qing, W. Mao, J. Lopez and G. Wang, Springer, 2005
  • , J.C. Cederquist, , A machine-checked formalization of the generic model and the random oracle model, Chapter in, 2nd International Joint Conference on Automated Reasoning ( IJCAR'04) volume 3097 of Lecture Notes in Computer Science, pages 385-399, D.A. Basin and M. Rusinowitch, Springer, 2004
  • J.C. Cederquist, , Formal analysis of a fair payment protocol, Chapter in, 2nd International Workshop on Formal Aspect of Security and Trust, volume 173 of IFIP, pages 41-54, T. Dimitrakos and F. Martinelli, Kluwer Academic, Boston, 2004
2Papers in Journals
  • A. Matos, J.C. Cederquist, Non-disclosure for distributed mobile code, Lecture Notes in Computer Science, Vol. 21, No. 6, pp. 1111 - 1181, June, 2011 | BibTex
  • J.C. Cederquist, R. C. Corin, M.A.C. Dekker, , J.I. den Hartog, , Audit-based compliance control, International Journal of Information Security, Vol. 6, No. 2, pp. 1 - 30, January, 2007 | BibTex
18Papers in Conferences
  • H. P. Paulino, A. Matos, J.C. Cederquist, M. Giunti, J. R. Matos, A.R. Ravara, AtomiS: Data-Centric Synchronization Made Practical, ACM Object-Oriented Programming, Systems, Languages & Applications OOPSLA, Cascais, Portugal, October, 2023 | BibTex
  • D. Miranda, A. Matos, J.C. Cederquist, Information Flow Security For a Concurrent Language With Lock-based Synchronization, Inforum - Simpósio de Informática, Porto, Portugal, September, 2023 | BibTex
  • A. Matos, A.R. Ravara, H. P. Paulino, J.C. Cederquist, J. R. Matos, M. Giunti, Type qualifier inference and code synthesis, Interaction and Concurrency Experience ICE, Lisbon, Portugal, June, 2023 | BibTex
  • B. A. Ferreira, J.C. Cederquist, A. Matos, H. P. Paulino, A.R. Ravara, Mechanization of a Type System for Atomicity Analysis and its Type Safety, Inforum - Simpósio de Informática, Guimarães, Portugal, September, 2019 | BibTex
  • F. M. Marques, J.C. Cederquist, A. Matos, Integrating paper-based voting and Belenios -- a hybrid voting protocol for an academic organization. To appear in the proceedings of INFORUM 2017., Inforum - Simpósio de Informática, Aveiro, Portugal, October, 2017 | BibTex
  • A. Matos, J.C. Cederquist, Distributed Noninterference, Euromicro International Conf. on Parallel, Distributed and network-based Processing - PDP, Turin, Italy, Vol. -, pp. - - -, February, 2014 | BibTex
  • M.T. Dashti, J.C. Cederquist, Y. W. Wang, Risk Balance in Optimistic Non-repudiation Protocols, Formal Aspects of Security and Trust, Leuven, Belgium, Vol. 7140, pp. 263 - 277, September, 2011,
    | Abstract     | Full text (PDF 181 KBs) | BibTex
  • J.C. Cederquist, , Complexity of Fairness Constraints for the Dolev-Yao Attacker Model, ACM Symp. on Appl. Computing, Taichung, Taiwan, Vol. 26, pp. 1507 - 1514, March, 2011,
    | Abstract     | Full text (PDF 234 KBs) | BibTex
  • J.C. Cederquist, , , A Certified Email Protocol using Key Chains, International Conf. on Advanced Information Networking and Applications - AINA, Niagara Falls, Canada, Vol. 1, pp. 525 - 530, May, 2007 | BibTex
  • , J.C. Cederquist, , , Extended Privilege Inheritance in RBAC, ACM Symp. on Information, Computer and Communications Security - ASIACCS, New York, United States, Vol. 00, pp. 383 - 385, March, 2007 | BibTex
  • J.C. Cederquist, , An Intruder Model for Verifying Liveness in Security Protocols, ACM Workshop on Formal Methods in Security Engineering - FMSE, Fairfax, Virginia, United States, Vol. ., pp. 23 - 31, November, 2006 | BibTex
  • J.C. Cederquist, R. C. Corin, , , , An Audit Logic for Accountability, International Workshop on Policies for Distributed Systems and Networks - POLICY, Stockholm, Sweden, Vol. 00, pp. 34 - 43, June, 2005 | BibTex
  • J.C. Cederquist, , Formal Analysis of a Fair Payment Protocol, International Workshop on Formal Aspects of Security and Trust - FAST, Toulouse, France, Vol. IFIP, volume 173, pp. 41 - 54, August, 2004 | BibTex
  • , J.C. Cederquist, , A Machine-Checked Formalization of the Generic Model and the Random Oracle Model, International Joint Conf. on Automated Reasoning - IJCAR, Cork, Ireland, Vol. LNCS 3097, pp. 385 - 399, July, 2004 | BibTex
  • J.C. Cederquist, , Entailment relations and distributive lattices, Logic Colloquium, Prague, Czech Republic, Vol. Lecture Notes in Logic, volume 13, pp. 127 - 139, July, 1999 | BibTex
  • J.C. Cederquist, An implementation of the Heine-Bore covering theorem in type theory, TYPES for Proofs and Programs, Turin, Italy, Vol. LICS, volume 1512, pp. 46 - 65, October, 1998 | BibTex
  • J.C. Cederquist, , , The Hahn-Banach Theorem in Type Theory, Twenty-five years of Constructive Type Theory, Venice, Italy, Vol. 00, pp. 57 - 72, July, 1998 | BibTex
  • J.C. Cederquist, A constructive proof of the Heine-Bore covering theorem for formal reals, TYPES for Proofs and Programs, Turin, Italy, Vol. LICS, volume 1158, pp. 62 - 75, September, 1996 | BibTex

Closed Projects2

Acronym Name Funding Agency Start date Ending date
Elven Elven - Expressive Logics for VErifying the Net EU/H2020 01-07-2016 30-06-2019
KLog KLog - Logics for Security FCT/PTDC 01-08-2007 01-08-2010
4Short Courses and Seminars
  • J.C. Cederquist, Verifying Liveness in Security Protocols, Portugal, Porto Salvo, 10-2007
  • J.C. Cederquist, Formal Analysis of a Fair Payment Protocol, Netherlands, Enschede, 11-2004
  • J.C. Cederquist, A formal verification of cryptographic algorithms, Netherlands, Amsterdam, 03-2004
  • J.C. Cederquist, Formal verification of cryptographic algorithms, France, Sophia-Antipolis, 11-2003

Activities from this researcher fall under the following United Nations Strategic Development Goals (SDGs):

© 2025, IT - Instituto de Telecomunicações | All Rights Reserved