1. Multipath Key Establishment for Wireless Sensor Networks Using JustEnough Redundancy Transmission
2. Semi concurrent Online Testing of Transition Faults through Output Response Comparison of Identical Circuits
3. Instruction Based Online Periodic SelfTesting of Microprocessors with FloatingPoint Units
4. Evaluating the Vulnerability of Network Traffic Using Joint Security and Routing Analysis
5. The Design of a Generic IntrusionTolerant Architecture for Web Servers
6. Dynamic Verification of Memory Consistency in CacheCoherent Multithreaded Computer Architectures
7. Theory and Techniques for Automatic Generation of VulnerabilityBased Signatures
8. Modeling Soft Errors at the Device and Logic Levels for Combinational Circuits
9. Beyond Output Voting: Detecting Compromised Replicas Using HMMBased Behavioral Distance
10. A Computationally Sound Mechanized Prover for Security Protocols
11. Integrity Codes: Message Integrity Protection and Authentication over Insecure Channels
12. PLR: A Software Approach to Transient Fault Tolerance for Multicore Architectures
13. Towards Formal Verification of RoleBased Access Control Policies
14. Architectural Risk Analysis of Software Systems Based on Security Patterns
15. Cryptanalysis of a Generalized Ring Signature Scheme
16. Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees
17. On the Security of an Efficient TimeBound Hierarchical Key Management Scheme
18. HighLevel SideChannel Attack Modeling and Simulation for SecurityCritical Systems on Chips
19. Online Periodic SelfTest Scheduling for RealTime ProcessorBased Systems Dependability Enhancement
20. Reducing Soft Errors through Operand Width Aware Policies
21. Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing
22. Error Detection and Fault Tolerance in ECSM Using Input Randomization
23. KTR: An Efficient Key Management Scheme for Secure Data Access Control in Wireless Broadcast Services