1
TITLE: Localizing Firewall Security Policies  Full Text
AUTHORS: Pedro Adao ; Riccardo Focardi; Joshua D Guttman; Flaminia L Luccio;
SOURCE: IEEE 29th Computer Security Foundations Symposium (CSF) in 2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016), VOLUME: 2016-August, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
2
TITLE: Bit-string oblivious transfer based on quantum state computational distinguishability
AUTHORS: Souto, A; Mateus, P ; Adao, P ; Paunkovic, N;
SOURCE: PHYSICAL REVIEW A, VOLUME: 91, ISSUE: 4, PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef
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;
SOURCE: PHYSICAL REVIEW A, VOLUME: 92, ISSUE: 4, PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: Hybrid learning of Bayesian multinets for binary classification  Full Text
AUTHORS: Alexandra M Carvalho; Pedro Adao ; Paulo Mateus;
SOURCE: PATTERN RECOGNITION, VOLUME: 47, ISSUE: 10, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
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;
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, PUBLISHED: 2014
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;
SOURCE: CoRR, VOLUME: abs/1403.6022, PUBLISHED: 2014
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;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 538, ISSUE: C, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: Type-Based Analysis of Generic Key Management APIs  Full Text
AUTHORS: Pedro Adao ; Riccardo Focardi; Flaminia L Luccio;
SOURCE: IEEE 26th Computer Security Foundations Symposium in 2013 IEEE 26TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), PUBLISHED: 2013
INDEXED IN: Scopus WOS DBLP CrossRef
10
TITLE: Type-Based Analysis of Generic Key Management APIs (Long Version)
AUTHORS: Pedro Adão ; Riccardo Focardi; Flaminia L Luccio;
SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2013, PUBLISHED: 2013
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 2. Total results: 18.