Creating and sharing knowledge for telecommunications
... Jan Gunnar Cederquist

Researcher

Jan Cederquist

Academic position: Assistant Professor
Joining date: 31-12-2006
Roles in IT: Researcher
Scientific Area: Networks and Multimedia
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


Scientific Achievements

  • PhD, Göteborg University, 01-01-1997
Supervision of theses
  • Extension and deployment of an i-voting system, MSc Student, Daniel José Nazaré Madruga, 12-2019
  • Resource-Centered Concurrency Control - Proving Type Safety, MSc Student, Beatriz Abecasis Gomes Ferreira, 07-2018
Co-Supervision of theses
  • Information Flow Analysis for Logic Programs, MSc Student, João Ricardo Sares Teles de Matos, 11-2019
  • Verification of the back-end of an i-voting system, MSc Student, João de Araujo Correia Neto Lopes, 07-2019
  • Static analysis tool for JavaScript, MSc Student, André Baptista Neves Ribeiro, 06-2019
  • E-voting, on Fenix, MSc Student, Fernando Mário Machado Marques, 09-2017
  • 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
  • A. Matos, J.C. Cederquist, Non-disclosure for distributed mobile code, Mathematical Structures 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, Intrnl. Journal of Information Security, Vol. 6, No. 2, pp. 1 - 30, January, 2007 | 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

Currently running projects1

Acronym Name Funding Agency Start date Ending date
Elven Elven - Expressive Logics for VErifying the Net EU/H2020 01-07-2016 30-06-2019

Closed Projects1

Acronym Name Funding Agency Start date Ending date
KLog KLog - Logics for Security FCT/PTDC 01-08-2007 01-08-2010
  • 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