Projets par an
Empreinte digitale
Collaborations et principaux domaines de recherche des cinq dernières années
Profils
-
STARSCI: Statistical and timing aspects related to side-channel attacks, with a focus on software Implementations
Petit, J. (Promoteur) & Morin Duchesne, A. (Chercheur)
1/01/25 → 31/12/28
Projet: Recherche
-
DEFSTRASTEG: Design of an Efficient Framework for Strategic Steganalysis
Petit, J. (Promoteur) & Daems, D. (Chercheur)
1/11/24 → 31/10/28
Projet: Recherche
-
CryptoQT: Cryptography and quantum technologies
Bruyninckx, H. (Promoteur), Petit, J. (Promoteur), Jacqmin, P.-A. (Chercheur) & Liénardy, J. (Chercheur)
1/04/23 → 31/03/27
Projet: Recherche
Résultat de recherche
-
A syntactic characterization of weakly Mal’tsev varieties
Egner, N., Jacqmin, P.-A. & Martins-Ferreira, N., 2024, Dans: Theory and Applications of Categories. 42, 12, p. 314-353 40 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvertFile -
A weakness in OCB3 used with short nonces allowing for a break of authenticity and confidentiality
Liénardy, J. & Lafitte, F., janv. 2024, Dans: Information Processing Letters. 183, 106404.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Partial algebras and implications of (weak) matrix properties
Hoefnagel, M. & Jacqmin, P.-A., 26 oct. 2024, Dans: Applied Categorical Structures. 32, 6, 27 p., 34.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert
Activités
-
(Talk) Conference on Complex Networks and their applications, Cambridge, UK – CNA18
Petit, J. (Orateur)
déc. 2018Activité: Conférence ou présentation › Présentation orale à caractère scientifique
-
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Borghys, D. (Membre du jury) & Van Heule, D. (Directeur de thèse)
18 sept. 2017Activité: Examen › Membre d'un jury de PhD
-
(Talk) Control of self-organized patterns in complex networks, Florence, Italy – Satellite at PhysCon17
Petit, J. (Orateur)
juil. 2017Activité: Conférence ou présentation › Présentation orale à caractère scientifique
Thèses de l'étudiant
-
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Lafitte, F. (L'auteur), Van Heule, D. (Promoteur) & Markowitch, O. (Promoteur), 18 sept. 2017Student thesis: Thèse de doctorat