page d'accueil   sommaire   faculté  

Qualité et sécurité des systèmes informatiques [Quality and security of information systems] (QualSec)
Faculté des Sciences / faculty of 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 / contact details


Qualité et sécurité des systèmes informatiques [Quality and security of information systems]
tel +32-2-650.59.14, fax +32-2-650.56.09, yves.roggemans@ulb.ac.be
http://qualsec.ulb.ac.be/
Campus de la Plaine, Bâtiment NO, niveau 8, couloir N, local N8-115
CP212, boulevard du Triomphe, 1050 Bruxelles

Pour en savoir plus, consultez le site web de l'unité.



responsables / head


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


composition / members


Mohamed AMINE YOUSSEF Helena BRUYNINCKX Raymond DEVILLERS Jérôme DOSSOGNE Stéphane FERNANDES MEDEIROS Liran LERMAN Geoffrey NELISSEN Naim QACHRI Benigno RODRIGUEZ LOBERA Nikita VESHCHIKOV


projets / projects


Non-répudiation et sujets liés (échange équitable, courrier électronique recommandé, signature de contrats digitaux, ...). [Non-repudiation and related subjects (fair exchange, certified e-mail, contract signing, ...)]

La notion de confiance dans les protocoles de sécurité. [Trust in security protocols]

Les protocoles d'échange de clé et d'échange de clé de groupe. [Key exchange and group key exchange protocols]

Les protocoles d'identification (optimisés pour des cartes à puce). [Identification protocols (suited for smartcards)]

Les protocoles à apport de connaissance minimale. [Zero-knowledge protocols]

Systèmes embarqués multiprocesseurs contraints par l'énergie [Embedded multiprocessors systems with energy constraints]
Systèmes embarqués multiprocesseurs contraints par l'énergie [Embedded multiprocessors systems with energy constraints]

méta-ordonnancement dans les grilles de calcul [meta-schedulling in grid computing]
méta-ordonnancement dans les grilles de calcul [meta-schedulling in grid computing]

Systèmes parallèles temps réel [Real-time parallel systems]
Systèmes parallèles temps réel [Real-time parallel systems]

La sécurité des communications sans-fil [Security of wireless communications]
La sécurité des communications sans-fil [Security of wireless communications]

Les attaques par canaux cachés dans les matériels cryptographiques [Side-channel attacks on cryptographic hardware]
Les attaques par canaux cachés dans les matériels cryptographiques [Side-channel attacks on cryptographic hardware]

les protocoles de votes électroniques [i-voting protocols]
les protocoles de votes électroniques [i-voting protocols]

protocol an cryptographie basée sur la physique quantique [protocol and cryptography based on quantum physics]
protocol an cryptographie basée sur la physique quantique [protocol and cryptography based on quantum physics]



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 / awards


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 / know-how, equipment


Audit de sécurité, évaluation de systèmes sécurisés, développement de protocoles sécurisés, attaques par canaux auxiliaires, cours de sécurité et de cryptographie,

Conception fiable de systèmes embarqués et temps réel



mots clés pour non-spécialistes / keywords for non-specialists


attaques par canaux auxiliaires ordonnancement temps réel protocoles cryptographiqes sécurité informatique systèmes multiprocesseurs et parallèles


disciplines et mots clés / disciplines and keywords


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 sécurité systèmes parallèles temps réel vote électronique


codes technologiques DGTRE


Informatique, théorie des systèmes Sciences de l'ordinateur, analyse numérique, systèmes, contrôle Technologie de systèmes, technologie de l'ordinateur Télécommunications