Keyword:Security

Papers
Racets: Faceted Execution in Racket Kristopher Micinski, Zhanpeng Wang and Thomas Gilray EasyChair Preprint no. 502
Sources of State Destabilization Tomasz Dukiewicz EasyChair Preprint no. 238
Formal Security Proof of CMAC and its Variants Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque and Benjamin Grégoire EasyChair Preprint no. 104
Security Mechanisms for attacks on MAC Layer of Wireless Mesh Networks Sadaf Ilyas, Sohail Ahmed, M. Saad Bin Ilyas and Shamsa Umar EasyChair Preprint no. 96
Exploring Parents’ Security and Privacy Concerns and Practices Abdulmajeed Alqhatani and Heather Lipford EasyChair Preprint no. 66
Robust Gait Recognition Technique Using Neural Network Ripal Patel, Vivek Tank, Jinish Brahmbhatt, Sanchit Puranik and Khushboo Desai In:ICRISET2017. International Conference on Research and Innovations in Science, Engineering and Technology. Selected Papers in Engineering
Automated Proof of Authentication Protocols in a Logic of Events Mark Bickford In:VERIFY-2010. 6th International Verification Workshop