- All Publications
- Static Analysis
[...]
- Process Programming and Workflow
»
- Little-JIL
- Process Interpretation
- Resource Management
- Process Simulation
- Process Analysis
- Evaluation
- Rework
- Software Development
[...]
- Case Studies
[...]
- Electronic Enterprise Institute
- Jump To:
- 2017
- 2016
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1994
- 1990
- 1987
|
LASER Publications
Process Programming and Workflow
by Sean Peisert
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example
Leon J. Osterweil,
Matt Bishop,
Heather Conboy,
Huong Phan,
Borislava I. Simidchieva,
George Avrunin,
Lori A. Clarke,
Sean Peisert,
ACM Transactions on Privacy and Security (TOPS), Vol. 20, No. 2, May 2017, pp. 5:1-31. (UM-CS-2016-012)
[ ACM ]
[ PDF ]
Modeling and Analyzing Faults to Improve Election Process Robustness
Borislava I. Simidchieva,
Sophie J. Engle,
Michael Clifford,
Alicia Clay Jones,
Sean Peisert,
Matt Bishop,
Lori A. Clarke,
Leon J. Osterweil,
Proceedings of the 2010 Electronic Voting Technology Workshop/Workshop
on Trustworthy Elections (EVT/WOTE '10), August 9-10, 2010, Washington,
DC. (UM-CS-2010-039)
[ Usenix ]
[ Video ]
[ PDF ]
[ Slides ]
Notice: We present this material to ensure timely and wide dissemination of our work.
All persons copying this material must adhere to the terms of the relevant copyrights
|
This site is maintained by the