Author of the publication

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.

 

Other publications of authors with the same name

Maintaining Longest Paths Incrementally., , and . Constraints, 10 (2): 159-183 (2005)Integrating Access Control into UML for Secure Software Modeling and Analysis., , , and . IJSSE, 1 (1): 1-19 (2010)A simple tabu search for warehouse location., and . European Journal of Operational Research, 157 (3): 576-591 (2004)Newton - Constraint Programming over Nonlinear Constraints., , and . Sci. Comput. Program., 30 (1-2): 83-118 (1998)Constraint-based local search., and . MIT Press, (2005)The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces., , , and . J. Artif. Intell. Res., (2012)Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting., , , , , , and . ACSAC, page 30-39. IEEE Computer Society, (2007)Perception-action coupling model for human locomotor pointing., , , , and . Biological Cybernetics, 87 (2): 141-150 (2002)Scheduling Abstractions for Local Search., and . CPAIOR, volume 3011 of Lecture Notes in Computer Science, page 319-334. Springer, (2004)Model-Driven Visualizations of Constraint-Based Local Search., , and . CP, volume 4741 of Lecture Notes in Computer Science, page 271-285. Springer, (2007)