Foundations and Practice of Security: 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers (Lecture Notes in Computer Science, 11358)

This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018. The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud security and big data; IoT security; software security, malware analysis, and vulnerability detection; cryptography; cyber physical security and hardware security; and access control. -- Provided by publisher Front Matter ....Pages i-xi Front Matter ....Pages 1-1 Securing Internet-of-Things (Guang Gong)....Pages 3-16 Privacy and Ethical Challenges in Big Data (Sébastien Gambs)....Pages 17-26 Front Matter ....Pages 27-27 Decentralized Dynamic Security Enforcement for Mobile Applications with CliSeAuDroid (Tobias Hamann, Heiko Mantel)....Pages 29-45 Mobile Travel Credentials (David Bissessar, Maryam Hezaveh, Fayzah Alshammari, Carlisle Adams)....Pages 46-58 Front Matter ....Pages 59-59 Cloud Security Auditing: Major Approaches and Existing Challenges (Suryadipta Majumdar, Taous Madi, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi)....Pages 61-77 Secure Joins with MapReduce (Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye)....Pages 78-94 Daedalus: Network Anomaly Detection on IDS Stream Logs (Aniss Chohra, Mourad Debbabi, Paria Shirani)....Pages 95-111 Front Matter ....Pages 113-113 Configuring Data Flows in the Internet of Things for Security and Privacy Requirements (Luigi Logrippo, Abdelouadoud Stambouli)....Pages 115-130 Validating Requirements of Access Control for Cloud-Edge IoT Solutions (Short Paper) (Tahir Ahmad, Silvio Ranise)....Pages 131-139 Front Matter ....Pages 141-141 Evading Deep Neural Network and Random Forest Classifiers by Generating Adversarial Samples (Erick Eduardo Bernal Martinez, Bella Oh, Feng Li, Xiao Luo)....Pages 143-155 Protection of Systems Against Fuzzing Attacks (Léopold Ouairy, Hélène Le-Bouder, Jean-Louis Lanet)....Pages 156-172 A Comparative Study Across Static and Dynamic Side-Channel Countermeasures (Yuri Gil Dantas, Tobias Hamann, Heiko Mantel)....Pages 173-189 Front Matter ....Pages 191-191 Card-Based Cryptographic Protocols with the Minimum Number of Cards Using Private Operations (Hibiki Ono, Yoshifumi Manabe)....Pages 193-207 Cryptographic Formula Obfuscation (Giovanni Di Crescenzo)....Pages 208-224 Fault Analysis of the New Ukrainian Hash Function Standard: Kupyna (Onur Duman, Amr Youssef)....Pages 225-240 Front Matter ....Pages 241-241 When Fault Injection Collides with Hardware Complexity (Sebanjila Kevin Bukasa, Ludovic Claudepierre, Ronan Lashermes, Jean-Louis Lanet)....Pages 243-256 A Study on Mitigation Techniques for SCADA-Driven Cyber-Physical Systems (Position Paper) (Mariana Segovia, Ana Rosa Cavalli, Nora Cuppens, Joaquin Garcia-Alfaro)....Pages 257-264 Front Matter ....Pages 265-265 Mining Relationship-Based Access Control Policies from Incomplete and Noisy Data (Thang Bui, Scott D. Stoller, Jiajie Li)....Pages 267-284 Fine-Grained Access Control for Microservices (Antonio Nehme, Vitor Jesus, Khaled Mahbub, Ali Abdallah)....Pages 285-300 Achieving Mobile-Health Privacy Using Attribute-Based Access Control (Vignesh Pagadala, Indrakshi Ray)....Pages 301-316 Back Matter ....Pages 317-317 Welcome To The Proceedings Of Ecoop 2009! Thanks To The Local Organizersfor Working Hard On Arranging The Conference — With The Hard Work They Put In, It Was A Great Success. Thanks To Sophia Drossopoulou For Her Dedicated Work As Pc Chair In Assembling A ?ne Scienti?c Program Including Forward-looking Keynotes, And For Her E?orts To Reduce The Environmental Impact Of The Pc Meeting By Replacing A Physical Meeting With A Virtual Meeting. I Would Also Like To Thank James Noble For Taking The Time And E?ort To Write Up Last Year’s Banquet Speech So That It Could Be Included In This Year’s Proceedings. One Of The Strong Features Of Ecoopis The Two Days Of Workshopspreceding Themainconferencethatallowsintenseinteractionbetweenparticipants.thanks To All Workshop Organizers. Lastyear’ssuccessfulsummerschooltutorialswerefollowedupthisyearwith Seven Interesting Tutorials. Thanks To The Organizers And Speakers. This Year’s Dahl-nygaard Award Honored Yet Another Pioneer In The ?eld, Namely, David Ungar For His Contributions Includingself. I Appreciate His E?orts In Providing Us With An Excellent Award Talk. The World Is Changing And So Is Ecoop. Please Contemplate My Short Note On The Following Pages Entitled On Future Trends For Ecoop. Annotation This book constitutes the refereed proceedings of the 23rd European Conference on Object-Oriented Programming, ECOOP 2009, held in Genoa, Italy, in July 2009. The 25 revised full papers, presented together with the abstracts of 2 invited talks and the ECOOP 2008 banquet speech were carefully reviewed and selected from a total of 117 submissions. The papers cover topics such as types, frameworks and modeling; aliasing and transactions; access control and verification; modularity; mining and extracting; refactoring; concurrency, exceptions and initialization; and concurrency and distribution This book constitutes the carefully refereed and revised selected papers of the 5th International Symposium on Foundations and Practice of Security, FPS 2012, held in Montreal, QC, Canada, in October 2012.The book contains a revised version of 22 full papers, accompanied by 3 short papers. The papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical section on cryptography and information theory, key management and cryptographic protocols, privacy and trust, policies and applications security, and network and adaptive security.