Paul Andrew Crocker


AuthID: R-000-E32

Publicações Confirmadas: 29



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service