Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
1996
1998
1991
Strowel, Alain
Verdussen, Marc
2017
Joassart, Pierre
Solbreux, Marie
Article de périodique (Journal article)
Communication à un colloque (Conference Paper)
Legay, Axel
Author
4
Heuser, Annelie
Apply Heuser, Annelie filter
2
Given-Wilson, Thomas
Apply Given-Wilson, Thomas filter
2
Jafri, Nisrine
Apply Jafri, Nisrine filter
2
Lanet, Jean-Louis
Apply Lanet, Jean-Louis filter
2
Picek, Stjepan
Apply Picek, Stjepan filter
2
Traonouez, Louis-Marie
Apply Traonouez, Louis-Marie filter
1
Abdellatif, Takoua
Apply Abdellatif, Takoua filter
1
Batista, Thais
Apply Batista, Thais filter
1
Ben Said, Najah
Apply Ben Said, Najah filter
1
Ben Salem, Saddek
Apply Ben Salem, Saddek filter
1
Biondi, Fabrizio
Apply Biondi, Fabrizio filter
1
Bozga, Marius
Apply Bozga, Marius filter
1
Chadli, Mounir
Apply Chadli, Mounir filter
1
Drira, Khalil
Apply Drira, Khalil filter
1
Enescu, Michael
Apply Enescu, Michael filter
1
Jovic, Alan
Apply Jovic, Alan filter
1
Kim, Jin
Apply Kim, Jin filter
1
Knezevic, Karlo
Apply Knezevic, Karlo filter
1
Larsen, Kim
Apply Larsen, Kim filter
1
Meel, Kuldeep
Apply Meel, Kuldeep filter
1
Naujokat, Stefan
Apply Naujokat, Stefan filter
1
Nowotka, Dirk
Apply Nowotka, Dirk filter
1
Oquendo, Flavio
Apply Oquendo, Flavio filter
1
Poulsen, Danny
Apply Poulsen, Danny filter
1
Quilbeuf, Jean
Apply Quilbeuf, Jean filter
1
Steffen, Bernhard
Apply Steffen, Bernhard filter
Document Type
8
Document de travail (Working Paper)
Apply Document de travail (Working Paper) filter
1
Monographie (Book)
Apply Monographie (Book) filter
1
Rapport (Report)
Apply Rapport (Report) filter
Access
1
Accès libre
Apply Accès libre filter
You are here
Home
»
Search
»
Search results
»
*:*
»
^1996
»
^1998
»
^1991
»
^Strowel, Alain
»
^Verdussen, Marc
»
2017
»
^Joassart, Pierre
»
^Solbreux, Marie
»
^Article de périodique (Journal article)
»
^Communication à un colloque (Conference Paper)
»
Legay, Axel
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
10
results.
Report
A framework for quantitative modeling and analysis of highly (re)configurable systems
Legay, Axel
[UCL]
(2017)
WorkingPaper
High-level Frameworks for the Specification and Verification of Scheduling Problems
Chadli, Mounir
Kim, Jin
Larsen, Kim
Legay, Axel
[UCL]
Naujokat, Stefan
Steffen, Bernhard
Traonouez, Louis-Marie
(2017)
WorkingPaper
Profiled SCA with a New Twist: Semi-supervised Learning
Heuser, Annelie
Picek, Stjepan
Legay, Axel
[UCL]
Knezevic, Karlo
(2017)
WorkingPaper
Scalable Approximation of Quantitative Information Flow in Programs
Biondi, Fabrizio
Enescu, Michael
Heuser, Annelie
Legay, Axel
[UCL]
Meel, Kuldeep
Quilbeuf, Jean
(2017)
WorkingPaper
Orchestration for Secure Multi-party Communications in Web-Services ✩
Ben Said, Najah
Abdellatif, Takoua
Bozga, Marius
Ben Salem, Saddek
Legay, Axel
[UCL]
(2017)
WorkingPaper
An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries
Given-Wilson, Thomas
Heuser, Annelie
Jafri, Nisrine
Lanet, Jean-Louis
Legay, Axel
[UCL]
(2017)
WorkingPaper
Statistical Model Checking of LLVM Code
Traonouez, Louis-Marie
Legay, Axel
[UCL]
Nowotka, Dirk
Poulsen, Danny
(2017)
WorkingPaper
On the Relevance of Feature Selection for Profiled Side-channel Attacks
Heuser, Annelie
Picek, Stjepan
Jovic, Alan
Legay, Axel
[UCL]
(2017)
Book
Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017) : 32nd ACM SIGAPP Symposium On Applied Computing : 32nd ACM SIGAPP Symposium On Applied Computing
Oquendo, Flavio
Drira, Khalil
Legay, Axel
[UCL]
Batista, Thais
(2017)
WorkingPaper
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version
Given-Wilson, Thomas
Jafri, Nisrine
Lanet, Jean-Louis
Legay, Axel
[UCL]
(2017)