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
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
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