| DI - Departamento de Informática - UBI
Departamento de Informática
Anúncios
|
Bio
|
links
|
Publicações
|
Software
|

Paul Andrew Crocker

Contactos
|
Página inicial
Ensino/Teaching
|
Investigação/Research
|
Erasmus-Program
|
Projectos
|
Publicações
 
Some Publications:

E-id authentication and uniform access to cloud storage service providers. J. Gouveia, P. Crocker, S. Melo de Sousa, and R. Azevedo. E-id authentication and uniform access to cloud storage service providers. In Proceedings of the 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (CloudCom), CLOUDCOM '13, 2013. 3. IEEE CS Press (IEEE Xplore) DOI: 10.1109/CloudCom.2013.71 pdf pdf

Criptografia Homomórfica como um Serviço: da Implementação à sua Aplicação. Vitor Pereira, Simão Melo de Sousa, Paul Crocker, Ricardo Azevedo . Proceedings of Infórum'2013. September 2013, Évora.

Secret Sharing for High Security Codes on Smart-Cards, Crocker Paul & Peixinho, Adolfo Proceedings of the European Conference on Informations Warfare 2013, pp45-54

Learning Stochastic Timed Automata from Sample Executions, André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science Volume 7609, 2012, pp 508-523

T3S Tool – Learning stochastic discrete event systems from sample executions 2012 André de Matos Pedro, Paul Crocker, Simão Melo de Sousa. Proceedings of CIAA'2012. Porto, Portugal.

A Secure Architecture for Electronic Ticketing Based on the Portuguese e-ID Card, Paul Crocker,Vasco Nicolau, Proc European Conf. on Information Warfare and Security - ECIW,Tallinn, Estonia, July 2011.

Sniffing with the Portuguese Identity Card for fun and profit, Paul Crocker, Simão Melo de Sousa,Vasco Nicolau, Proc European Conf. on Information Warfare and Security - ECIW, Thessaloniki, Greece,July, 2010.

A Nova Dimensão da Entidade Electrónica em Portugal, Paul Crocker, Simão Melo de Sousa,Vasco Nicolau, Proc AFCEA Congresso Nacional de Segurança e Defesa, Lisboa, Portugal, Vol. 1, pp. 1 - 17, June, 2010.

High-Level Multi-threading Programming in Logtalk. Paulo Moura, Paul Crocker, and Paulo Nunes. Lecture Notes in Computer Science, Vol. 4902, pp.265-281, 2008. (In Proceedings of the International Symposium on Practical Aspects of Declarative Languages (PADL’08), San Francisco, United States, January, 2008).

Proceedings of CICLOPS 2007 7th International Colloquium on Implementation of Constraint and Logic Programming Systems, Multi-threading programming in Logtalk, Paulo Moura, Paul Crocker and Paulo Nunes, Porto, Portugal, September 2007.

A parallel multikey algorithm for mining textual associations, R. Pereira and P. Crocker, G.Dias LREC-2004, Workshop on Methodologies and Evaluation of Multiword Units in Real-world Applications (MEMURA Workshop), Lisbon, Portugal, May, 2004.