Conferences in DBLP

IEEE Computer Security Foundations Workshop (CSFW) (csfw)
2008 (conf/csfw/2008)

1. 
   Language Based Secure Communication. [Citation Graph (, )][DBLP]
   
   
2. 
   Refinement Types for Secure Implementations. [Citation Graph (, )][DBLP]
   
   
3. 
   A Trust Management Approach for Flexible Policy Management in Security-Typed Languages. [Citation Graph (, )][DBLP]
   
   
4. 
   Hyperproperties. [Citation Graph (, )][DBLP]
   
   
5. 
   Security Decision-Making among Interdependent Organizations. [Citation Graph (, )][DBLP]
   
   
6. 
   Tractable Enforcement of Declassification Policies. [Citation Graph (, )][DBLP]
   
   
7. 
   End-to-End Enforcement of Erasure and Declassification. [Citation Graph (, )][DBLP]
   
   
8. 
   Cryptographically-Sound Protocol-Model Abstractions. [Citation Graph (, )][DBLP]
   
   
9. 
   An Authorization Logic With Explicit Time. [Citation Graph (, )][DBLP]
   
   
10. 
    DKAL: Distributed-Knowledge Authorization Language. [Citation Graph (, )][DBLP]
    
    
11. 
    Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. [Citation Graph (, )][DBLP]
    
    
12. 
    Evidence-Based Audit. [Citation Graph (, )][DBLP]
    
    
13. 
    Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. [Citation Graph (, )][DBLP]
    
    
14. 
    Specifying Secure Transport Channels. [Citation Graph (, )][DBLP]
    
    
15. 
    Towards Producing Formally Checkable Security Proofs, Automatically. [Citation Graph (, )][DBLP]
    
    
16. 
    Composition of Password-Based Protocols. [Citation Graph (, )][DBLP]
    
    
17. 
    Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. [Citation Graph (, )][DBLP]
    
    
18. 
    Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. [Citation Graph (, )][DBLP]
    
    
19. 
    A Type System for Observational Determinism. [Citation Graph (, )][DBLP]
    
    
20. 
    Information Flow in Systems with Schedulers. [Citation Graph (, )][DBLP]
    
    
21. 
    A Correctness Proof of a Mesh Security Architecture. [Citation Graph (, )][DBLP]
    
    
22. 
    Formal Analysis of PKCS#11. [Citation Graph (, )][DBLP]