Keyword:Security

Publications
Mitigating Attack Surfaces in Serverless Architectures: Best Practices for Secure Deployments Kenny Awkent EasyChair Preprint 15891
Secure AI-Driven Currency Recognition System for Visually Impaired Users: Integrating Network Security Measures for Data Protection Wisam A. Hasan, Basim A. Farhan, Ahmed S. Ibraheem, Ali A. Hadi, Ammar A. Muhammed and Amjed A. Ahmed EasyChair Preprint 15864
Protection Against Atmospheric Discharges for Photovoltaic Plants Pedro Henrique Rocha Martins and André Augusto Ferreira EasyChair Preprint 15788
Divide and Conquer: a Compositional Approach to Game-Theoretic Security Ivana Bocevska, Anja Petković Komel, Laura Kovács, Sophie Rain and Michael Rawson EasyChair Preprint 15785
Affordable Mobile Application Camera System to Monitor Residential Societies’ Vehicle Activity M Keerthy, S M Raghavendra, Y S Shreyas and S D Mohana EasyChair Preprint 15735
Open Source 5G Network Deployment Andrew Fox EasyChair Preprint 15688
Data Security Approaches in Spring Boot for REST API Saikal Batyrbekova and Gulzada Esenalieva EasyChair Preprint 15653
End-User Privacy, Security, and Data Ownership Concerns on the Helsenorge Platform: a Mixed-Methods Study Abha Pokharel, Surya Kathayat and Casandra Grundstrom EasyChair Preprint 15593
The Role of Open-Source Software in Modern Development Akintunde Tunmise EasyChair Preprint 15515
Blockchain-Powered Data Science: Enhancing Security and Transparency in Decentralized Finance Sophia Müller EasyChair Preprint 15382
Real-Time Anomaly Detection in IoT Networks Using Edge AI and Advanced Data Science Techniques Matilda Bennett EasyChair Preprint 15377
Integrating Deception Technologies into SOAR: Advancing Security Measures and Application Response with Innovative Strategies Joshua Cena EasyChair Preprint 15021
Enhancing SOAR Capabilities with Deception Technologies: a Comprehensive Approach to Improved Security and Application Response Godwin Olaoye EasyChair Preprint 15015
Engineering Secure AI/ML Systems: Implementing Cloud-Based Differential Privacy Strategies for Enhanced Security Kayode Sheriffdeen EasyChair Preprint 15013
Advanced Security for AI/ML Systems: Integrating Cloud Differential Privacy Strategies for Effective Risk Mitigation Anthony Collins EasyChair Preprint 14953
Cloud Computing and Its Impact on Telecommunication Infrastructure Axel Egon EasyChair Preprint 14818
Stake-Driven Rewards and Log-Based Free Rider Detection in Federated Learning Huong Nguyen, Hong-Tri Nguyen, Lauri Loven and Susanna Pirttikangas EasyChair Preprint 13968
Cloud Computing Solutions for Artificial Intelligence’s Data Quality and Security Challenges John Kelly and William Smith EasyChair Preprint 13653
Secure Multiparty Computation for Privacy-Preserving Collaborative AI in Industrial IoT Godwin Olaoye and Harold Jonathan EasyChair Preprint 13619
The Impact of Bias and Fairness Issues on the Robustness and Security of AI Systems Godwin Olaoye and Edwin Frank EasyChair Preprint 13461
Explainability and Interpretability in Robust and Secure AI Algorithms Edwin Frank EasyChair Preprint 13460
Problem of Integrating Blockchain Technologies into Wireless Mesh Networks: Application to Community Wireless Networks Djotio Ndie Thomas and Dobe Abel EasyChair Preprint 13046
AI Based Voice Recognition Somu Sasi Balaji, Jujjuri Mohith, Kancharla Niteesh and Alokam Sony Sai Sri Ram EasyChair Preprint 12796
Open Source Machine Learning Model Safety Assurance for Embedded Edge Systems Ching Hu and S.R. Prakash EasyChair Preprint 12739
Exploring the Synergy: Blockchain Technology and Biostatistics for Secure Health Data Management William Jack EasyChair Preprint 12555
Harnessing Generative Language Models for Data Synthesis in Biostatistics: a Blockchain-Based Approach William Jack EasyChair Preprint 12552
IDRF: an Improved Dynamic Random Forest Approach for Blockchain Time Series Data Classification Ahmed Faris Alsayyad, Mohamed Mabrouk, Ahmed Al-Shammari and Mounir Zrigui EasyChair Preprint 12525
Enhancing IoT Security: Machine Learning Strategies for Intrusion Detection in Connected Networks Usman Hider EasyChair Preprint 12038
Enhancing Cybersecurity: Leveraging Ensemble Learning for Effective Malware Detection and Classification Jonny Bairstow EasyChair Preprint 12034
Addressing IoT Security: Understanding Challenges, Threats, and Countermeasures Haney Zaki EasyChair Preprint 12019
Striking a Delicate Balance: Navigating the Intersection of AI and Privacy in Law Enforcement for Enhanced Security Asad Ali and Unthaw Owners EasyChair Preprint 11960
Unveiling the Power: GPT Applications for Fortifying Third-Party Vendor Security Jane Smith and Kurez Oroy EasyChair Preprint 11900
Security and Privacy Challenges in Cloud-Based Data Warehousing: a Comprehensive Review Sina Ahmadi EasyChair Preprint 11681
Next Generation AI-Based Firewalls: a Comparative Study Sina Ahmadi EasyChair Preprint 11680
Security Challenges in E-commerce Transactions: Safeguarding the Digital Marketplace Jane Smith and Emily Carter EasyChair Preprint 11673
Evaluating the Influence of Reviews and Ratings on E-commerce Purchasing Decisions Jane Smith and Chris Liu EasyChair Preprint 11671
Develop a Flask-Based Web Application Using the Logistic Regression Algorithm to Detect Credit Card Fraud in Machine Learning. A Vaidhegi and H Aswini EasyChair Preprint 11652
Elevating Software Quality Assurance to an Art Form: a Deep Dive into Cutting-Edge QA Methodologies, Precision Testing, and the Pursuit of Flawless Software Systems Lee Kasowaki and Berlin Edward EasyChair Preprint 11618
Beyond the Horizon of Bugs: a Grand Expedition into Software Quality Assurance, Unraveling the Depths of Testing, Strategic Validation, and the Quest for Code Perfection Lee Kasowaki and Roman Harry EasyChair Preprint 11617
Elevating Software Quality Assurance to an Art Form: a Deep Dive into Cutting-Edge QA Methodologies, Precision Testing, and the Pursuit of Flawless Software Systems Jane Smith and Danny Thomas EasyChair Preprint 11585
Ensuring Compliance and Security: Integrating Quality Assurance into Software Development Fatima Tahir and Nosheen Khalid EasyChair Preprint 11485
Current 5G Federation Trends: a Literature Review Andrew Fox, Hisham Kholidy and Ibrahim Almazyad EasyChair Preprint 11303
Identity Theft and Best Practices to Protect Against It Mohamed A. Ismail EasyChair Preprint 11302
Network Security Concerns in 5G MIMO Beamforming Mohamed A. Ismail EasyChair Preprint 11301
Cloud Based IoT Platforms for Home Automation System Rashid Ekram, Anmol Deshwal and Anup Yadav EasyChair Preprint 11211
AI Analytics at the Shelf: Empowering Retailers with Electronic Labels Lee Kasowaki and Cong Lin William EasyChair Preprint 11084
Federated Learning for Empowering Large Language Models Soumik Deb Niloy, Abdullah Jamil Sifat, Md Asaduzzaman Sarker Anik, Mohammad Jawad Ul Tashick and Mashira Rofi EasyChair Preprint 10828
Smart, Reliable, and Secure Systems for Emergency Management and Crisis Mohammad Beyrouti, Abdelmadjid Bouabdallah, Abed Ellatif Samhat, Ahmed Lounis and Benjamin Lussier EasyChair Preprint 10470
HoRStify: Sound Security Analysis of Smart Contracts Sebastian Holler, Sebastian Biewer and Clara Schneidewind EasyChair Preprint 10335
FRENCHIE (Frenchtoss Clothing Co. Inventory and POS Management with Barcode System Lowela Arevalo and Reynaldo Bautista EasyChair Preprint 10303
Concerns and Difficulties Associated with Vehicular Ad Hoc Networks (VANET) Ahmad Salem EasyChair Preprint 10194
Survey on Neural Networks for Presentation Attack Detection (NNP) Willy Kinfoussia EasyChair Preprint 10114
Streamlining Network Penetration Testing: Overcoming the Challenges of Manual Effort and Inefficient Tools (NetPenTest) Priyanka Gupta Gupta, Md Mahbub Hasan, Manish Kumar, Abu Sams Md Nakib, Mohammad Ashad Khan and Hasna Hena EasyChair Preprint 10035
Efficient Image Authentication Using Various Cryptosystems Approach V Ajaimarudhu, P Kalaiyarasan, S Manyadharshini and K Venkatesh Guru EasyChair Preprint 9919
An Isolation-Aware Online Virtual Network Embedding via Deep Reinforcement Learning Ali Gohar, Chunming Rong and Sanghwan Lee EasyChair Preprint 9871
Opportunities, Challenges, and Policy Suggestions for Preparing a Country Autonomous Cars Zartashya Ashraf and Fatima Tahir EasyChair Preprint 9852
Navigating Ethical Challenges in the Age of Disruptive Technology: a Framework for Decision-Making Bablu Kumar Dhar and Sabrina Maria Sarkar EasyChair Preprint 9851
A Blockchain-Based Approach for Drug Traceability in Healthcare Supply Chain Anusha Ampavathi, Shashidhar Thallapally, Srivani Maroju, Srikanth Masigalla and Ramesh Annamalla EasyChair Preprint 9807
Video Cryptography with Chaos Shreyashree Dasgupta, Pranjali Kodhe, Sichika Lokhande, Sakshi Khiradkar and Shruti Kamble EasyChair Preprint 9726
Security Threats and Risks in Automotive João Fernandes EasyChair Preprint 9530
Artificial Intelligence as a Tool for Enhanced Data Integrity and Data Security Lakshmi Priya Vinjamuri, Aghanaashaa Amal and Aditya Chahar EasyChair Preprint 9517
Security Framework for Hosting Systems on the Cloud: Case Study of Jordan E-Government Websites Asma Salem and Rizik Al-Sayyed EasyChair Preprint 9372
Prediction of DDoS Attacks Using DecisionTree Technique A Venkata Dineshreddy, Chandana Vamshi Krishna and V Lavanya EasyChair Preprint 9235
A Study of Image Encryption Based on Blockchain V Niranjani, C Chandiya, D Dhanushya and G Harithaa EasyChair Preprint 9219
The Internet of Things (IoT): Characteristics, Applications and New Challenges Konstantinos Mavrommatis EasyChair Preprint 9163
Intrusion Detection System: Challenges in Network Security and Machine Learning Nursyafiqah Abdul Samat EasyChair Preprint 8578
2D-CTM and DNA-Based Computing for Medical Image Encryption Mobashshirur Rahman and Piyush Kumar EasyChair Preprint 8539
Upgrade the Supply Chain Counterfeit Detection Product Using the Blockchain Management System S Tamilselvan, Gaddam Bhuvaneswari, Dommaraju Aarthi Varma, Kalla Gowtham and Sunnapu Dinesh EasyChair Preprint 8220
Novel Implementation of Cardio Vascular Disease Using Machine Learning Techniques R Ramkumar and M.O Ramkumar EasyChair Preprint 8216
A Conceptual Framework for Securing IoT-BIM Baydaa Hashim Mohammed, Hasimi Sallehuddin, Nurhizam Safie, Afifuddin Husairi Bin Hussain and Fadele Ayotunde Alaba EasyChair Preprint 8012
Review of Security Issues in Smart Cities Xu Hwanwg EasyChair Preprint 7919
Security and Privacy Concerns in IoT Devices and Attacks in Smart Cities Xu Hwanwg EasyChair Preprint 7918
Home Security System with SMTP Protocol Vaibhav Garg, Prince Sharma and Shivansh Singh EasyChair Preprint 7796
Voting System Based on Blockchain Technology Bhimesh Patil, Darshanesh Naringrekar and Pushpa Mahapatro EasyChair Preprint 7724
Towards Model Co-Evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis Thomas Witte, Raffaela Groner, Alexander Raschke, Matthias Tichy, Irdin Pekaric and Michael Felderer EasyChair Preprint 7706
Home Security Using Machine Learning Rajat Jain, Nikunj Jain and Prince Kumar EasyChair Preprint 7697
Blockchain Based Online Voting System Using RSA Algorithm Kingsle Edwin, Hepzibah Christinal and Abraham Chandy EasyChair Preprint 7407
A Review on Full Stack Realtime Medical Pager Chat Messaging App with Authentication & SMS Notifications Tanya Agarwal, Swapnil Upadhyay, Shreeansh Srivastava and Rohit Sharma EasyChair Preprint 7256
Comparative Analysis of Different Types of Alcohol Consumption on Life Expectancy Can Chen, Aitizaz Ali, Duyi He and Jehad Ali EasyChair Preprint 7171
Cloud Computing Security Solutions and Privacy. Nashwan Al-Thobhani and Methaq Salam EasyChair Preprint 6836
The Status, Challenges, and Future Trends of Advanced Crypto Algorithms for Wireless Network Security: an Overview Rana Kaabi, Hassan Fakhruldeen and Karrar Alhamami EasyChair Preprint 6823
Security Vulnerabilities of Blockchain-Based Smart Contracts and Countermeasures: a Survey Epherem Merete Sifra and Gaofei Wu EasyChair Preprint 6761
Development of Reduced Human Intervention Delivery Robot for Covid-19 Pandemic J J Jijesh, Shivashankar, D S Chethan, V N Chethan, N Harshit and J V Jayachandra EasyChair Preprint 6332
CHOICE – A Tunable PUF-Design for FPGAs Franz-Josef Streit, Paul Krüger, Andreas Becher, Jens Schlumberger, Stefan Wildermann and Jürgen Teich EasyChair Preprint 6297
A New DNA Based Encryption Algorithm for Internet of Things Bassam Al-Shargabi and Mohammed Abbas Fadhil Al-Husainy EasyChair Preprint 5923
A Comparative Study on Cipher Text Policy Attribute Based Encryption Schemes Badal Pradhan, Bhagwan Singh, Abhishek Bhoria and Ashutosh Kumar Singh EasyChair Preprint 5744
FuSeBMC: An Energy-Efficient Verifier for Finding Security Vulnerabilities in C Programs Kaled Alshmrany, Mohannad Aldughaim, Ahmed Bhayat and Lucas Cordeiro EasyChair Preprint 5128
Big Data based Smart Grid Data Management Model for Improved Monitoring of Power Consumption Doosetty Padmaja and Peyakunta Bhargavi EasyChair Preprint 4630
Searching for a Potential Criminal Using Wireless Internet Networks as One of the Targets of State Security Serhii Buchyk and Yaroslav Andrushchenko EasyChair Preprint 4550
Secure e-Governance Using Blockchain Haitham Assiri, Priyadarsi Nanda and Manoranjan Mohanty EasyChair Preprint 4252
An Enhanced Multimodal eBanking Security Model Moses Agana and Samuel Eneji EasyChair Preprint 4066
A Flooding based IDS Security against Jamming Attack in MANET Gaurav Soni and S. Sudhakar EasyChair Preprint 3789
Context-Aware Operation for Unmanned Systems with HAMSTER Mariana Rodrigues, Daniel Fernando Pigatto and Kalinka Regina Lucas Jaquie Castelo Branco EasyChair Preprint 3788
IANVS: A Moving Target Defense Framework for a Resilient Internet of Things Renzo Navas, Håkon Sandaker, Frédéric Cuppens, Nora Cuppens-Boulahia, Laurent Toutain and Georgios Papadopoulos EasyChair Preprint 3786
STUART: ReSilient archiTecture to dynamically manage Unmanned aeriAl vehicle networks undeR atTack Isadora G. Ferrão, Daniel Fernando Pigatto, João Vitor Carvalho Fontes, Natássya B. F. Silva, David Espes, Catherine Dezan and Kalinka Regina Branco EasyChair Preprint 3781
Information Hiding in Images Using Steganography Techniques Anoop Kumar EasyChair Preprint 3764
Automated Vehicle Parking System Based on Web Application Erum Sajid EasyChair Preprint 3743
Android Malware Detection Techniques Rajesh Kumar and Mamoun Alazab EasyChair Preprint 3707
Employing SABRE Relay Network for Country-Wide Blockchain Network Aman Pandey and Hakima Chaouchi EasyChair Preprint 3485
To Develop an Efficient Privacy Preserving Algorithm for Preserving the Privacy of the Cloud User’s Raghav Mittal and Areeba Kazim EasyChair Preprint 3050
Secure Online Voting System Sanam Mijar and Pramod Parajuli EasyChair Preprint 2958
Internet of Things - Secured Communications between the host with Cellular Networks using multiple authentication systems S. B. Bharath, Deepanjali Chandrasekaran and M. S. Minu EasyChair Preprint 2862
Detecting Banking Phishing websites using Data Mining Classifiers M. Kanchana, Prabodhan Chavan and Arjun Johari EasyChair Preprint 2855
Data Privacy Preservation Based on Multitenant Isolation in Cloud Prasenjit Kumar Das, Arka Pratim Mandal, Nidul Sinha and Annappa Basava EasyChair Preprint 2850
A Novel Approach for Traceability & Detection of Counterfeit Medicines Through Blockchain Kajal Bharat Adsul and S.P. Kosbatwar EasyChair Preprint 2539
Securing Enterprise Information Using Identity Access Management Sagar Kakade EasyChair Preprint 2495
Internet Downloaded (Fareit) Malwares in Memory Dhruv Gajjar and Dhruv Gajjar EasyChair Preprint 2359
Company Security Information Management Systems Kamil Andrzejewski EasyChair Preprint 1993
Live Broadcast Data Processing & Security by Software Based Encryption Anil Kumar Chaurasiya and Prashant Yadav EasyChair Preprint 1974
Enhancing the Security of Twitter Data Using SRB20 Algorithm Bagath Basha Chan and S Rajaprakash EasyChair Preprint 1956
IoT - Smart Contract Rule Based Secure Communication Scheme For Healthcare System Aslı Kul, Eda Nur Azin, Ogulcan Ozdemir and Serap Sahin EasyChair Preprint 1802
IoT Based Street Light Controlling and Monitoring Webserver Chathurka Mihiraj Karunanayake, Prashantha Anthony and Thilina Kumara EasyChair Preprint 1621
Security of ADS-B: Attack Scenarios Kayvan Faghih Mirzaei, Bruno Pessanha de Carvalho and Patrick Pschorn EasyChair Preprint 851
A 128-bit AES Engine with Higher Resistance to Power & Electromagnetic Side-Channel Attacks Enabled by a Security-Aware Integrated All-Digital Low Dropout Regulator Arvind Singh, Monodeep Kar, Sanu Mathew, Anand Rajan, Vivek De and Saibal Mukhopadhyay EasyChair Preprint 788
Racets: Faceted Execution in Racket Kristopher Micinski, Zhanpeng Wang and Thomas Gilray EasyChair Preprint 502
Sources of State Destabilization Tomasz Dukiewicz EasyChair Preprint 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 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 96
Exploring Parents’ Security and Privacy Concerns and Practices Abdulmajeed Alqhatani and Heather Lipford EasyChair Preprint 66
EU-Wallets, Security and Trust for HEI/EDU lifecycle Hermann Strack, Guido Bacharach, Carsten Schmidt, Hans Pongratz, Matthias Gottlieb, Mirko Stanić, Michael Lierath, Arn Waßmann and Björn Kleinert In:Proceedings of EUNIS 2024 annual congress in Athens
Decentralized Organ Donation and Transplantation Using Blockchain Technology Jeevanantham Arumugam, Dhanush Kulanthaivel, Dharani Mahalingam and Karthikeyan Selvam In:Proceedings of 6th International Conference on Smart Systems and Inventive Technology
Automatic Detection of Vulnerable Variables for CTL Properties of Programs Naïm Moussaoui Remil, Caterina Urban and Antoine Miné In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Survey of Digital Security in Applications and Networking Dylan Damiano, Isabella Mitchell Wynter and Emdad Ahmed In:Proceedings of 39th International Conference on Computers and Their Applications
The Campuscard App – A secure solution to the NFC problem Tamas Molnar and Dominik Dreiner In:Proceedings of European University Information Systems Congress 2023
Digitization of (Higher) Education Processes: Innovations, Security and Standards Hermann Strack, Marlies Gollnick, Sebastian Karius, Meiko Lips, Sandro Wefel, Robert Altschaffel, Guido Bacharach, Matthias Gottlieb, Hans Pongratz, Wolfgang Radenbach and Arn Waßmann In:Proceedings of EUNIS 2022 – The 28th International Congress of European University Information Systems
DBKnot: A Transparent and Seamless, Pluggable, Tamper Evident Database Islam Khalil, Sherif El-Kassas and Karim Sobh In:Proceedings of ISCA 30th International Conference on Software Engineering and Data Engineering
On Designing Secured Communication Protocols along with Anonymity for CRT based Structured P2P Network Architecture Koushik Maddali, Swathi Kaluvakuri, Nick Rahimi, Bidyut Gupta and Narayan Debnath In:CAINE 2020. The 33rd International Conference on Computer Applications in Industry and Engineering
Design of Concept and Draft Scenarios of DLP for DataLake based on Abyss Distributed Storage Byungrae Cha, Sun Park, ByeongChun Shin, Sun-Kuk Noh and JongWon Kim In:Proceedings of International Symposium on Applied Science 2019
Convolutional Neural Networks with LSTM for Intrusion Detection Mostofa Ahsan and Kendall Nygard In:Proceedings of 35th International Conference on Computers and Their Applications
Threats and Alert Analytics in Autonomous Vehicles Aakanksha Rastogi and Kendall Nygard In:Proceedings of 35th International Conference on Computers and Their Applications
Jamming/Garbling assessment and possible mitigations in the OpenSky network Mauro Leonardi, Martin Strohmeier and Vincent Lenders In:Proceedings of the 7th OpenSky Workshop 2019
Detecting GPS Jamming Incidents in OpenSky Data Ala' Darabseh, Evangelos Bitsikas and Brice Tedongmo In:Proceedings of the 7th OpenSky Workshop 2019
DFS ADS-B Implementation in High Density Radar Controlled Airspace – Experiences and Challenges Stefan Stanzel In:Proceedings of the 7th OpenSky Workshop 2019
Big data for small businesses: Abstracting security and decision-making tools Sara Salih and Kennedy Njenga In:Proceedings of 4th International Conference on the Internet, Cyber Security and Information Systems 2019
Website Information Security and Privacy Concerns in 4IR: The Moderating Role of Trust in B2C e-Commerce Thabang Mofokeng In:Proceedings of 4th International Conference on the Internet, Cyber Security and Information Systems 2019
A Novel Text Encryption and Decryption Scheme using the Genetic Algorithm and Residual Numbers Peter Awon-Natemi Agbedemnab, Edward Yellakuor Baagyere and Mohammed Ibrahim Daabo In:Proceedings of 4th International Conference on the Internet, Cyber Security and Information Systems 2019
Study of Secured Full-Stack Web Development Ziping Liu and Bidyut Gupta In:Proceedings of 34th International Conference on Computers and Their Applications
TrustedDW: A New Framework to Securely Hosting Data Warehouse in the Cloud Kawthar Karkouda, Ahlem Nabli and Faiez Gargouri In:Proceedings of 34th International Conference on Computers and Their Applications
Customized Intrusion Detection Based on a Database Audit Log Thomas Le, William Mitchell and Behnam Arad In:Proceedings of 34th International Conference on Computers and Their Applications
Implementation of Security and Privacy Aspects in a Healthcare Social Network Kasi Periyasamy and Saleh Alsyefi In:Proceedings of 34th International Conference on Computers and Their Applications
Adopting and Implementing a Government Cloud in Saudi Arabia, an Integral Part of Vision 2030 Mohammed O. Alannsary and Yasser M. Hausawi In:Proceedings of 34th International Conference on Computers and Their Applications
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