Pedro Miguel dos Santos Alves Madeira Adão


AuthID: R-000-EYR

Confirmed Publications: 18



1
TITLE: Localizing Firewall Security Policies  Full Text
AUTHORS: Pedro Adao ; Riccardo Focardi; Joshua D Guttman; Flaminia L Luccio;
PUBLISHED: 2016, SOURCE: IEEE 29th Computer Security Foundations Symposium (CSF) in 2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016), VOLUME: 2016-August
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: Bit-string oblivious transfer based on quantum state computational distinguishability
AUTHORS: Souto, A ; Mateus, P ; Adao, P ; Paunkovic, N;
PUBLISHED: 2015, SOURCE: PHYSICAL REVIEW A, VOLUME: 91, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef: 9
IN MY: ORCID
3
TITLE: Reply to "Comment on 'Bit-string oblivious transfer based on quantum state computational distinguishability' "
AUTHORS: Souto, A ; Mateus, P; Adao, P ; Paunkovic, N;
PUBLISHED: 2015, SOURCE: PHYSICAL REVIEW A, VOLUME: 92, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
4
TITLE: Hybrid learning of Bayesian multinets for binary classification  Full Text
AUTHORS: Alexandra M Carvalho; Pedro Adao ; Paulo Mateus;
PUBLISHED: 2014, SOURCE: PATTERN RECOGNITION, VOLUME: 47, ISSUE: 10
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
5
TITLE: Mignis: A Semantic Based Tool for Firewall Configuration  Full Text
AUTHORS: Pedro Adão ; Claudio Bozzato; Dei D Rossi; Riccardo Focardi; Flaminia L Luccio;
PUBLISHED: 2014, SOURCE: 27th IEEE Computer Security Foundations Symposium, CSF 2014 in IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014, VOLUME: 2014-January
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: Oblivious transfer based on quantum state computational distinguishability PDF
AUTHORS: André Souto; Paulo Mateus; Pedro Adão ; Nikola Paunkovic;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1403.6022
INDEXED IN: DBLP arXiv
IN MY: DBLP
7
TITLE: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete  Full Text
AUTHORS: Pedro Adao ; Paulo Mateus ; Luca Vigano;
PUBLISHED: 2014, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 538, ISSUE: C
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
8
9
TITLE: Type-Based Analysis of Generic Key Management APIs  Full Text
AUTHORS: Pedro Adao ; Riccardo Focardi; Flaminia L Luccio;
PUBLISHED: 2013, SOURCE: IEEE 26th Computer Security Foundations Symposium in 2013 IEEE 26TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
10
TITLE: Type-Based Analysis of Generic Key Management APIs (Long Version)
AUTHORS: Pedro Adão ; Riccardo Focardi; Flaminia L Luccio;
PUBLISHED: 2013, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2013
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 2. Total results: 18.

A place for researchers and their institutions

Useful Links

Get Help

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