Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 29 results.
Pages
-
- Journal article
(2017) Computers and Security — Vol. 70, p. 500-515 (2017) -
- Journal article
(2017) International Journal of Information Security — p. 395-409 (2017) -
- Journal article
(2017) Software & Systems Modeling — -
- Speech
(2017) International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems — -
- Journal article
(2017) EAI Endorsed Transactions on Industrial Networks and Intelligent Systems — Vol. 4, no. 10, p. 152154 (2017) -
- Speech
(2017) 18th IEEE International Symposium on High Assurance Systems Engineering (HASE) — Singapore -
- Speech
(2017) 2017 IEEE Trustcom/BigDataSE/ICESS — Sydney, Australia -
- Speech
(2017) GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security — -
- Speech
(2017) SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics — -
- Speech
(2017) ISSRE 2017 - The 28th International Symposium on Software Reliability Engineering - IEEE — -
- Speech
(2017) Wistp'17, International Conference on Information Security Theory and Practice — -
- Speech
(2017) SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Computer Science — -
- Speech
(2017) HAS 2017 - International Conference on Human Aspects of Information Security, Privacy, and Trust — -
- Speech
(2017) 11th IFIP International Conference on Information Security Theory and Practice (WISTP) — -
- Speech
(2017) ATVA 2017 - Fifteenth International Symposium on Automated Technology for Verification and Analysis — -
- Speech
(2017) AFRICACRYPT 2017 - International Conference on Cryptology in Africa — -
- Speech
(2017) 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017) — Buenos Aires, Argentina -
- Speech
(2017) International SPIN Symposium on Model Checking of Software — -
- Speech
(2017) 12th International Conference on Desig &Technology of Integrated Systems In Nanoscale Era (DTIS) — Palma de Mallorca, Spain -
- Speech
(2017) ICST 2017 - International Conference on Software Testing, Verification and Validation — -
-