Architecture
Laurent D. Michel
Professor/Computing

Are you Laurent D. Michel?

How to update your information.
Scholarly Contributions

16 Scholarly Contributions

9
Conference Proceedingss
5
Journal Articles
1
Technology
1
Other Scholarly Work
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
A Comprehensive Tolerant Algebraic Side-Channel Attack over Modern Ciphers using Constraint Programming
Waldemar Cruz, Fanghui Liu, Laurent D Michel
Research Type: Journal Article
Generating Generic MDD Propagators for Constraint Satisfaction and Optimization in Haddock
Laurent D Michel, Willem-Jan van Hoeve, Rebecca Gentzel
Research Type: Journal Article
A Systematic Approach to Analyzing Voting Terminal Event Logs
Laurent D Michel, Nikolaj Volgushev, Alexander A Shvartsman
Research Type: Journal Article
Constraint Based Local Search
Laurent D Michel, Pascal Van Hentenryck
Research Type: Journal Article
Audit Station
Alexander Russell, Laurent D Michel, Alexander A Shvartsman
Research Type: Other Scholarly Work
Voting Rights Act GIS Application
Laurent D Michel, Alexander Russell, Benjamin E Fuller
Research Type: Technology
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks
Heytem Zitoun, Laurent D Michel, Daniel H Davidson, Benjamin W Fuller, Timothy Curry, Devon Callahan
2022
Research Type: Journal Article
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