( en | de | ru )

 

Disambiguation of "Michel, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting.

, , , , , , and . ACSAC, page 30-39. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laurent Bartholdi

Laurent Ntahuga

Thomas Laurent

Thomas Laurent

Laurent Herschke

 

Other publications of authors with the same name

The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces., , , and . J. Artif. Intell. Res., (2012)Integrating Access Control into UML for Secure Software Modeling and Analysis., , , and . Int. J. Secur. Softw. Eng., 1 (1): 1-19 (2010)Distributed Constraint-Based Local Search., , and . CP, volume 4204 of Lecture Notes in Computer Science, page 344-358. Springer, (2006)Scheduling Abstractions for Local Search., and . CPAIOR, volume 3011 of Lecture Notes in Computer Science, page 319-334. Springer, (2004)Newton - Constraint Programming over Nonlinear Constraints., , and . Sci. Comput. Program., 30 (1-2): 83-118 (1998)Search Strategies for Floating Point Constraint Systems., , , and . CP, volume 10416 of Lecture Notes in Computer Science, page 707-722. Springer, (2017)Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure., , and . CP, volume 11008 of Lecture Notes in Computer Science, page 613-628. Springer, (2018)HADDOCK: A Language and Architecture for Decision Diagram Compilation., , and . CP, volume 12333 of Lecture Notes in Computer Science, page 531-547. Springer, (2020)Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting., , , , , , and . ACSAC, page 30-39. IEEE Computer Society, (2007)A design flow with integrated verification of requirements and faults in safety-critical systems., , , and . SoSE, page 1-6. IEEE, (2017)