 |  |  |  |  |
 |
|
Qualité et sécurité des systèmes informatiques [Quality and security of information systems] (QualSec)
Faculté des Sciences - Informatique (unité ULB516)

|
Le groupe de recherche QualSec effectue des recherches dans les domaines de la théorie de l'ordonnancement temps réel, de la cryptographie et la sécurité informatique. [The QualSec research group performs research in real-time scheduling theory and in cryptography and computer security.]
|

coordonnées

|  | 

|

responsables

|  | 
Prof. Yves ROGGEMAN Olivier MARKOWITCH Prof. Joël GOOSSENS

|

composition

|  | 
Vandy BERTEN Helena BRUYNINCKX Raymond DEVILLERS Jérôme DOSSOGNE Stéphane FERNANDES MEDEIROS Liran LERMAN Markus LINDSTRÖM Irina LUPU Antoine MAROT Geoffrey NELISSEN Julien NISET Naim QACHRI Ben RODRIGUEZ

|

projets

|  | 

|

publications

|  | 
Jean Cardinal / Design of Tree-Structures Multiple Description Vector Quantizers / Proceedings of the IEEE International Data Compression Conference (DCC'20001), pp. 23-32, Snowbird, Utah.
Olivier Markowitch & Shahrokh Saeednia / Optimistic Fair-Exchange with Transparent Signature Recovery. / 5th International Conference, Financial Cryptography. Lecture notes in Computer Sciences. Springer-Verlag, Grand Cayman, Cayman Islands.
Jean Cardinal / Fast Fractal Compression of Greyscale Images. / IEEE Transactions on Image Processing, vol.10, No 1, p.59.
Olivier Markowitch & Steve Kremer / A Multi-party Optimistic Non-repudiation Protocol. / 3rd International Conference on Information Security and Cryptology (ICISC 2000). Lecture notes in Computer Sciences, vol.2015, p.109-122. Springer-Verlag, Seoul, Corea.
Jean Cardinal / A Lagrangian Optimization Approach to Complexity-Constrained TSVQ / IEEE Signal Processing letters, vol.07, No 11, p.304
Jean Cardinal / Multipath Tree-Structured Vector Quantizers / Proceedings of the 10th European Signal Processing Conference (EUSIPCO'2000), vol.II, pp.817-820, Tampere, Finland.
Steve Kremer & Olivier Markowitch / A Multi-party Non-repudiation Protocol. / IFIP World Computer Congress, 15th International Conference on Information Security (SEC 2000). Information Security for Global Information infrastructures, p.271-280. Kluwer Academic Publishers, Beijing, China.
Jean Cardinal / Design of Asymmetric Tree-Structured Multiple Description Source Codes / IEEE Workshop on Multimedia Signal Processing, (MMSP'01), Cannes, France, October 3-5, 2001.
Jean Cardinal / Tree-Structured Multiple Description Coding / IEEE Workshop on Signal Processing Systems, (SiPS'01), Antwerp, Belgium, September 26-28, 2001.
Steve Kremer and Jean-François Raskin / A Game-Based Verification of Non-Repudiation and Fair exchange Protocols / CONCUR'01. Lecture notes in Computer Science, Aalborg, Denmark

|

theses

|  | 
Energy-aware real-time scheduling in embedded multiprocessor systems, 2010
Grid Fault Management Techniques : the case of a Grid environment with malicious entities, 2008
Stochastic approach to brokering heuristics for computational grids, 2007
Trust Relationships in Exchange Protocols, 2006
Formal Analysis of Optimistic Fair Exchange Protocols, 2003
Les protocoles de non-répudiation, 2001
Scheduling of hard real-time periodic systems with various kinds of deadline and offset constraints, 1999
Zero useful knowledge interactive proofs of similarity, 1995
Quelques classes de registres à décalage et leurs applications en cryptographie, 1987
Préventions des interblocages dans un modèle à organigrammes, 1974

|

collaborations

|  | 
Prof. Emmanuel Jeannot, INRIA Lorraine, Loria, équipe Algorille, Nancy, France
Prof. Nicolas Navet, INRIA Lorraine, Loria, équipe TRIO, Nancy, France
Prof. Pascal Richard, LISI / ENSMA, équipe temps réel, Poitiers, France
Maxime Van Assche, Mission Critical Information Technology, Développements, Braine-l'Alleud, Belgique
Dir. Darius Blasband, Phidani Software, Bruxelles, Belgique
Prof. Hanna Klaudel, Université d'Evry-Val d'Essonne, IBISC, Evry, France
Prof. Elisabeth Pelz, Université Paris XII-Val de Marne, LACL, Creteil, France
Prof. Shelby Funk, University of Georgia, Computer Science Primary Faculty, Athens, Etats-Unis (USA)
Prof. Maciej Koutny, University of Newcastle upon Tyne, School of Computing Science, Newcastle upon Tyne, Grande-Bretagne
Prof. Sanjoy Baruah, University of Noth Carolina, Distributed and Real-Time Research Group, Chapel Hill, Etats-Unis (USA)
Prof. Eike Best, Universität Oldenburg, Department für Informatik, Oldenburg, Allemagne
Dr. Thomas Durt, Vrij Universiteit van Brussels, Vakgroep Toegepaste Natuurkunde & Fotonica, Bruxelles, Belgique
Dr. Ellie D'Hondt, Vrij Universiteit van Brussels, Software Languages Lab, Bruxelles, Belgique
Prof. Nicolas Cerf, Université Libre de Bruxelles, QuIC, Bruxelles, Belgique
Prof. Dragomir Milojevic, Université Libre de Bruxelles, BEAMS, Bruxelles, Belgique
Dr. Liliana Cucu, INRIA Lorraine, Loria, équipe TRIO, Nancy, France
Dr. Björn Andersson, Instituto Superior de Engenharia do Porto, CISTER Research Unit, Porto, Portugal
Prof. Dieter Gollmann, Hamburg University of Technology, Security in Distributed Applications, Hamburg, Allemagne
Dr. Jianying Zhou, Institute for Infocomm Research, Network Security Group, Singapour, Singapour

|

prix

|  | 
Prix Swift 1986-1987 - Yves ROGGEMAN
Prix Fleurice Mercier 1976 - Yves ROGGEMAN
Prix Georges Sterper 1977 - Yves ROGGEMAN
Prix Solvay Awards 1992 - Joël GOOSSENS

|

savoir-faire/équipements

|  | 
Audit de sécurité, évaluation de systèmes sécurisés, développement de protocoles sécurisés
 Conception fiable de systèmes embarqués et temps réel

|

mots clés compréhensibles déclarés

|  | 
composition logiciel ordonnancement temps réel protocoles cryptographiqes sécurité systèmes multiprocesseurs et parallèles

|

disciplines et mots clés déclarés

|  | 
Analyse de systèmes informatiques Technologie de la sécurité Technologie informatique hardware Technologies de l'information et de la communication (TIC)
attaques par canaux cachés communications sans-fil contraint par l'énergie grilles de calcul matériel cryptographique physique quantique protocole protocole réseau de petri sécurité systèmes parallèles temps réel vote électronique

|
|