Search the dblp DataBase

Publications of Author

1. Thuong Doan, Laurent D. Michel, Steven A. Demurjian, T. C. Ting
   Stateful Design for Secure Information Systems. [Citation Graph (0, 0)][DBLP]
   WOSIS, 2005, pp:277-286 [Conf]
   
2. Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel
   A Framework for Composable Security Definition, Assurance, and Enforcement. [Citation Graph (0, 0)][DBLP]
   MoDELS Satellite Events, 2005, pp:353-354 [Conf]
   
3. Pascal Van Hentenryck, Laurent D. Michel
   Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. [Citation Graph (0, 0)][DBLP]
   AAAI, 2007, pp:273-0 [Conf]
   
4. 
   Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. [Citation Graph (, )][DBLP]
   
   
5. 
   Parallelizing constraint programs. [Citation Graph (, )][DBLP]
   
   
6. 
   Taking total control of voting systems: firmware manipulations on an optical scan voting terminal. [Citation Graph (, )][DBLP]
   
   
7. 
   A Framework of Composable Access Control Definition, Enforcement and Assurance. [Citation Graph (, )][DBLP]
   
   
8. 
   Optimizing Network Deployment of Formally-Specified Distributed Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   A framework of composable access control features: Preserving separation of access control concerns from models to code. [Citation Graph (, )][DBLP]
   
   
10. 
    A framework for security assurance of access control enforcement code. [Citation Graph (, )][DBLP]
    
    
11. 
    Parallel and distributed local search in COMET. [Citation Graph (, )][DBLP]