Joachim Posegga - Böcker

This book constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023, held in The Hague, The Netherlands, during September 28th, 2023 The 5 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 15 submissions. The workshop presents papers with topics such as security and privacy, trust models, security services, authentication, identity management, systems security, distributed systems security, privacy-preserving protocols.

The three-volume set LNCS 16231, LNCS 16232, and LNCS 16233 constitutes the refereed proceedings of twelve International Workshops which were held in conjunction with the 30th European Symposium on Research in Computer Security, ESORICS 2025, in Toulouse, France, during September 25-26, 2025.The papers included in these proceedings stem from the following workshops:Part I:·       20th International Workshop on Data Privacy Management, DPM 2025, which accepted 8 regular papers and 6 shorts papers from 27 submissions;·       9th International Workshop on Cryptocurrencies and Blockchain Technology, CBT 2025, which accepted 8 regular papers from 18 submissions;·       11th International Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, CyberICPS 2025, which accepted 9 regular papers from 16 submissions;Part II:·       International Workshop on Assessment with New methodologies, Unified Benchmarks, and environments, of Intrusion detection and response Systems, ANUBIS 2025, which accepted 8 regular papers and 1 short papers from 18 submissions;·       3rd International Workshop on Security and Artificial Intelligence, SECAI 2025, which accepted 16 regular papers and 3 shorts papers from 48 submissions;·       4th International Workshop on System Security Assurance, SecAssure 2025, which accepted 6 papers from 11 submissions;·       International Workshop on Secure and Trustworthy Machine Unlearning Systems, STMUS 2025, which accepted 5 regular papers from 15 submissions;Part III:·       2nd International Workshop on Autonomous Cybersecurity, AutonomousCyber 2025, which accepted 7 papers from 24 submissions;·       6th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection, CPS4CIP 2025, which accepted 8 papers from 16 submissions;·       5th International Workshop on Computational Methods for Emerging Problems in Disinformation Analysis, DisA 2025, which accepted 4 papers from 7 submissions;·       International Workshop on Hardware-Supported Software Security, HS3 2025, which accepted 3 regular papers and 4 short papers from 14 submissions;·       International Workshop on Mobile and IoT Security Technologies, MIST 2025, which accepted 8 regular papers from 16 submissions.

This book constitutes the revised selected papers of the 9th International Workshop on Data Privacy Management, DPM 2014, the 7th International Workshop on Autonomous and Spontaneous Security, SETOP 2014, and the 3rd International Workshop on Quantitative Aspects in Security Assurance, held in Wroclaw, Poland, in September 2014, co-located with the 19th European Symposium on Research in Computer Security (ESORICS 2014). The volume contains 7 full and 4 short papers plus 1 keynote talk from the DPM workshop; 2 full papers and 1 keynote talk from the SETOP workshop; and 7 full papers and 1 keynote talk from the QASA workshop - selected out of 52 submissions. The papers are organized in topical sections on data privacy management; autonomous and spontaneous security; and quantitative aspects in security assurance.

Smart cards are an established security research area with a very unique pr- erty: it integrates numerous sub?elds of IT Security, which often appear sc- tered and only loosely connected. Smart card research unites them by providing a common goal: advancing the state of the art of designing and deploying small tokens to increase the security in Information Technology. CARDIS has a tradition of more than one decade, and has established itself asthepremier conferencefor researchresultsinsmartcardtechnology.As smart card research is unique, so is CARDIS; the conference successfully attracts a- demic and industrial researchers without compromising in either way. CARDIS accommodates applied research results as well as theoretical contributions that might or might not become practically relevant. The key to making such a m- ture attractive to both academia and industry is simple: quality of contributions and relevance to the overall subject. This year’s CARDIS made it easy to continue this tradition: we received 76 papers, nearly all of them relevant to the focus of CARDIS and presenting high-quality researchresults. The ProgramCommittee workedhard on selecting the best 25 papers to be presented at the conference. We are very grateful to the members of the Program Committee and the additional referees for generously spending their time on the di?cult task of assessing the value of submitted papers. Daniel Schreckling provided invaluable assistance in handling submissions, managing review reports and editing the proceedings. The assistance of Jordi Castell` a in handling practical aspects of the conference preparation is also greatly appreciated.

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schlob Rheinfels, St. Goar, Germany in May 1995. Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications

This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97). The 20 revised full papers included in the book together with three invited presentations are centered around the user-friendly design of software systems and services, in particular telecommunication and Internet services, and visualization support for the design and administration of such systems. Among the topics addressed are telecommunication services, multimedia networking, user interfaces, intelligent networking protocols, formal specification and verification, visual formalisms, mobile computing, intelligent agents, and Java.

These proceedings contain the papers selected for presentation at the 4th Wo- shop on Information Security Theory and Practice (WISTP 2010), held during April 12-14, 2010 in Passau, Germany. In response to the call for papers, 69 papers were submitted to the wo- shop. These papers were evaluated on the basis of their signi?cance, novelty, and technicalquality. Eachpaper was reviewedby four members of the Program Committee. Reviewing was double-blind meaning that the Program Committee was not able to see the names and a?liations of the authors, and the authors were not told which committee members reviewed which papers. The Program Committee meeting was held electronically, holding intensive discussions over a periodoftwo weeks.Of the papers submitted, 20 full papersand 10shortpapers were selected for presentation at the workshop. This workshop was sponsored by Vodaphone, who also provided a best - per award. We would like to thank this organization for their support, which helped make this workshop possible. Their continued support helps to reduce registration fees and make WISTP a continuing success.WISTP 2010 was also organized in cooperation with the International - sociation for Cryptologic Research (IACR), the IFIP WG 11.2 Pervasive S- tems Security, and ACM SIGSAC. Their support has signi?cantly contributed to raising the pro?le of WISTP, which is re?ected in the number of high-quality submissions that we received.