학술논문
'학술논문'
에서 검색결과 42건 | 목록
1~10
Conference
Almeida, Jose Bacelar; Barbosa, Manuel; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Laporte, Vincent; Oliveira, Tiago; Strub, Pierre-Yves
2020 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2020 IEEE Symposium on. :965-982 May, 2020
Conference
Almeida, Jose Bacelar; Barbosa, Manuel; Barthe, Gilles; Pacheco, Hugo; Pereira, Vitor; Portela, Bernardo
2018 IEEE 31st Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2018 IEEE 31st. :132-146 Jul, 2018
Academic Journal
In Electronic Notes in Theoretical Computer Science 28 May 2007 176(1):139-163
Conference
Almeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L.; Eldefrawy, Karim; Graham-Lengrand, Stéphane; Pacheco, Hugo; Pereira, Vitor
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. :2587-2600
Conference
Almeida, José Bacelar; Baritel-Ruet, Cécile; Barbosa, Manuel; Barthe, Gilles; Dupressoir, François; Grégoire, Benjamin; Laporte, Vincent; Oliveira, Tiago; Stoughton, Alley; Strub, Pierre-Yves
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. :1607-1622
Conference
Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Campagna, Matthew; Cohen, Ernie; Gregoire, Benjamin; Pereira, Vitor; Portela, Bernardo; Strub, Pierre-Yves; Tasiran, Serdar
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. :63-78
Conference
Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Blot, Arthur; Grégoire, Benjamin; Laporte, Vincent; Oliveira, Tiago; Pacheco, Hugo; Schmidt, Benedikt; Strub, Pierre-Yves
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. :1807-1823
검색 결과 제한하기
제한된 항목
[AR] Almeida, José Bacelar
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어