Architecture
Laurent D. Michel
Professor/Computing

Are you Laurent D. Michel?

How to update your information.
Scholarly Contributions

9 Scholarly Contributions

9
Conference Proceedingss
5
Journal Articles
1
Technology
1
Other Scholarly Work
A Tolerant Algebraic Side-Channel Attack on AES Using CP
Chujiao Ma, Laurent D Michel, Fanghui Liu, Waldemar Cruz, Greg Johnson
2024
Research Type: Conference Proceedings
Search strategies for solving floating point constraint systems
Laurent D Michel, Claude Michel, Michel Rueher, Zitoun Heytem
2024
Research Type: Conference Proceedings
A complete Tolerant Algebraic Side-Channel Attack for AES with CP
Waldemar Cruz, Laurent D Michel, Fanghui Liu
2024
Research Type: Conference Proceedings
Securely and Automatically Deploying Micro-Services in an Hybrid Cloud Infrastructure
Waldemar Cruz, Fanghui Liu, Laurent D Michel
2024
Research Type: Conference Proceedings
PyDDOpt: A Modeling Interface for Decision Diagram-based Optimization
Laurent D. Michel
Research Type: Conference Proceedings
Revisiting Proof-of-Useful-Work for Practice: Constraint-Based Local Search via Blockchain Consensus
Alexander Russell
Research Type: Conference Proceedings
ML and Network Traces to M.A.R.S.
Benjamin Drozdenko, Waldemar Cruz, Laurent D Michel, Steven Roodbeen
Research Type: Conference Proceedings
Proof-of-Useful Work is Practical: Consensus via a Competitive Optimization Engine
Giorgos Panagiotakos, Alexander Russell, Matthias Fitzi, Aggelos Kiayias, Laurent D Michel
Research Type: Conference Proceedings
An efficient constraint based framework for handling floating point SMT problems
Michel Rueher, Laurent D Michel, Claude Michel, Heytem Zitoun
Research Type: Conference Proceedings