Paul Andrew Crocker


AuthID: R-000-E32

Confirmed Publications: 29



11
TITLE: Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
AUTHORS: João Santos Reis; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., VOLUME: 84
INDEXED IN: Scopus DBLP
IN MY: ORCID
12
TITLE: Using Machine Learning for Road Maintenance Cost Estimates in Brazil: a case study in the Federal District
AUTHORS: Gaussmann, R; Coelho, D; Fernandes, AMR; Crocker, P ; Leithardt, VRQ ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
13
TITLE: e-Learning, Artificial Intelligence, and Block chain
AUTHORS: Vieira, P; Crocker, P ; de Sousa, SM ;
PUBLISHED: 2019, SOURCE: European Conference on the Impact of Artificial Intelligence and Robotics (ECIAIR) in PROCEEDINGS OF THE EUROPEAN CONFERENCE ON THE IMPACT OF ARTIFICIAL INTELLIGENCE AND ROBOTICS (ECIAIR 2019)
INDEXED IN: WOS
IN MY: ORCID
14
TITLE: GLASS, a Tool for Quality-Controlled GNSS Data and Products Dissemination.
AUTHORS: Paul Crocker ; Jan Dousa; Mathilde Vergnolle; Carine Bruyninx; Machiel Bos; Rui Fernandes;
PUBLISHED: 2019
INDEXED IN: CrossRef
IN MY: ORCID
15
TITLE: PRISEC: Comparison of Symmetric Key Algorithms for IoT Devices  Full Text
AUTHORS: Saraiva, DAF; Leithardt, VRQ ; de Paula, D; Mendes, AS; Gonzalez, GV; Crocker, P ;
PUBLISHED: 2019, SOURCE: SENSORS, VOLUME: 19, ISSUE: 19
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID
16
TITLE: Securing electronic workflows with digital signatures
AUTHORS: Crocker, P ; Carvalho, T; Nicolau, V;
PUBLISHED: 2017, SOURCE: 16th European Conference on Cyber Warfare and Security, ECCWS 2017 in European Conference on Information Warfare and Security, ECCWS
INDEXED IN: Scopus
IN MY: ORCID
17
TITLE: Applications of Identity Based Cryptography and Sticky Policies With Electronic Identity Cards
AUTHORS: Paul Crocker ; Joao Silveira;
PUBLISHED: 2016, SOURCE: 15th European Conference on Cyber Warfare and Security (ECCWS) in PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON CYBER WARFARE AND SECURITY (ECCWS 2016)
INDEXED IN: WOS
IN MY: ORCID
18
TITLE: Applications of identity based cryptography and sticky policies with Electronic Identity Cards
AUTHORS: Crocker, P ; Silveira, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Cyber Warfare and Security, ECCWS 2016 in European Conference on Information Warfare and Security, ECCWS, VOLUME: 2016-January
INDEXED IN: Scopus
IN MY: ORCID
19
TITLE: Security of SmartPhone Solutions for Implantable Cardioverter Defibrillator Communication
AUTHORS: Nuno dos Santos; Paul Crocker ;
PUBLISHED: 2015, SOURCE: 14th European Conference on Cyber Warfare and Security (ECCWS) in PROCEEDINGS OF THE 14TH EUROPEAN CONFERENCE ON CYBER WARFARE AND SECURITY (ECCWS-2015)
INDEXED IN: WOS
IN MY: ORCID
20
TITLE: Security of smartphone solutions for implantable cardioverter defibrillator communication
AUTHORS: Dos Santos, N; Crocker, P ;
PUBLISHED: 2015, SOURCE: 14th European Conference on Cyber Warfare and Security, ECCWS 2015 in European Conference on Information Warfare and Security, ECCWS, VOLUME: 2015-January
INDEXED IN: Scopus
IN MY: ORCID
Page 2 of 3. Total results: 29.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service