Projekte pro Jahr
Fingerprint
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
-
STARSCI: Statistical and timing aspects related to side-channel attacks, with a focus on software Implementations
Petit, J. (Leitende(r) Forscher/-in) & Morin Duchesne, A. (Forschende)
1/01/25 → 31/12/28
Projekt: Forschung › Research
-
DEFSTRASTEG: Design of an Efficient Framework for Strategic Steganalysis
Petit, J. (Leitende(r) Forscher/-in) & Daems, D. (Forschende)
1/11/24 → 31/10/28
Projekt: Forschung › Research
-
CryptoQT: Cryptography and quantum technologies
Bruyninckx, H. (Leitende(r) Forscher/-in), Petit, J. (Leitende(r) Forscher/-in), Jacqmin, P.-A. (Forschende) & Liénardy, J. (Forschende)
1/04/23 → 31/03/27
Projekt: Forschung › Research
-
A syntactic characterization of weakly Mal’tsev varieties
Egner, N., Jacqmin, P.-A. & Martins-Ferreira, N., 2024, in: Theory and Applications of Categories. 42, 12, S. 314-353 40 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open AccessDatei -
A weakness in OCB3 used with short nonces allowing for a break of authenticity and confidentiality
Liénardy, J. & Lafitte, F., Jan. 2024, in: Information Processing Letters. 183, 106404.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
Partial algebras and implications of (weak) matrix properties
Hoefnagel, M. & Jacqmin, P.-A., 26 Okt. 2024, in: Applied Categorical Structures. 32, 6, 27 S., 34.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access
Aktivitäten
-
(Talk) Conference on Complex Networks and their applications, Cambridge, UK – CNA18
Petit, J. (Redner)
Dez. 2018Aktivität: Gespräch oder Vortrag › Vortrag
-
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Borghys, D. (Jury Member) & Van Heule, D. (Thesis director)
18 Sept. 2017Aktivität: Prüfung › Member of a PhD jury
-
(Talk) Control of self-organized patterns in complex networks, Florence, Italy – Satellite at PhysCon17
Petit, J. (Redner)
Juli 2017Aktivität: Gespräch oder Vortrag › Vortrag
Studienabschlussarbeiten
-
On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers
Lafitte, F. (Autor/-in), Van Heule, D. (Promoter) & Markowitch, O. (Promoter), 18 Sept. 2017Studienabschlussarbeit: Dissertation