Mirosław Kutyłowski - Böcker

This book constitutes the refereed proceedings of the 14th International Conference on Network and System Security, NSS 2020, held in Melbourne, VIC, Australia, in November 2020. The 17 full and 9 short papers were carefully reviewed and selected from 60 submissions.

This book constitutes the proceedings of the 8th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2024, held in Be'er Sheva, Israel, during December 19–20, 2024. The 16 full papers and 11 short papers presented here were carefully reviewed and selected from 43 submissions.

The two-volume set, LNCS 8712 and LNCS 8713 constitutes the refereed proceedings of the 19th European Symposium on Research in Computer Security, ESORICS 2014, held in Wroclaw, Poland, in September 2014 The 58 revised full papers presented were carefully reviewed and selected from 234 submissions. The papers address issues such as cryptography, formal methods and theory of security, security services, intrusion/anomaly detection and malware mitigation, security in hardware, systems security, network security, database and storage security, software and application security, human and societal aspects of security and privacy.

The two-volume set, LNCS 8712 and LNCS 8713 constitutes the refereed proceedings of the 19th European Symposium on Research in Computer Security, ESORICS 2014, held in Wroclaw, Poland, in September 2014 The 58 revised full papers presented were carefully reviewed and selected from 234 submissions. The papers address issues such as cryptography, formal methods and theory of security, security services, intrusion/anomaly detection and malware mitigation, security in hardware, systems security, network security, database and storage security, software and application security, human and societal aspects of security and privacy.

This book constitutes the refereed proceedings of the 33rd IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018.The 27 revised full papers presented were carefully reviewed and selected from 89 submissions. The papers present novel research on theoretical and practical aspects of security and privacy protection in ICT systems. They are organized in the following topical sections: authentication, failures of security management, security management/forensic, and software security/attacks.

This book constitutes the refereed proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99, held in Szklarska Poreba, Poland, in September 1999.The 37 revised full papers presented together with four invited contributions were carefully selected from 68 submissions. The papers are organized in sections on computing over reals, compression techniques, foundations of programming, complexity and algorithms, model checking, distributed computing, functional programming, automata, security, logic, counting problems, processes and bisimulation, graph algorithms, and type theory.

Wireless ad-hoc sensor networks have recently become a very active research subject due to their high potential of providing diverse services to numerous - portant applications, including remote monitoring and tracking in environm- tal applications and low-maintenance ambient intelligence in everyday life. The e?ective and e?cient realization of such large-scale, complex ad-hoc networking environmentsrequiresintensive,coordinatedtechnicalresearchanddevelopment e?orts,especiallyinpower-aware,scalable,robust,wirelessdistributedprotocols, due to the unusual application requirements and the severe resource constraints of the sensor devices. On the other hand, a solid foundational background seems necessary for sensor networks to achieve their full potential. It is a challenge for abstract modeling, algorithmic design and analysis to achieve provably e?cient, sc- able and fault-tolerant realizations of such huge, highly dynamic, complex, n- conventionalnetworks.Variousfeatures,includingtheextremelylargenumberof sensor devices in the network, the severe power, computing and memory limi- tions,theirdense,randomdeploymentandfrequentfailures,posenewinteresting abstract modeling, algorithmic design, analysis and implementation challenges of great practical impact.This workshop aimed to bring together research contributions related to diversealgorithmicandcomplexitytheoreticaspects ofwirelesssensornetworks. This was the third event in the series. ALGOSENSORS 2004 washeld in Turku, Finland, ALGOSENSORS 2006 was held in Venice, Italy. Since its beginning, ALGOSENSORS has been collocated with ICALP. The Third International Workshop on Algorithmic Aspects of Wireless S- sor Networks (ALGOSENSORS 2007) was organized by Wrocla w University of Technology.TheworkshopwasheldonJuly14,2007,inconjunctionwithICALP 2007. After a careful review by the Program Committee of 25 submissions, 11 regular papers were accepted to ALGOSENSORS 2007. Apart from the regular talks, two keynote speeches were given at the workshop.

This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory, FCT 2009, held in Wroclaw, Poland in August 2009. The 29 revised full papers were carefully reviewed and selected from 67 submissions. The papers address all current topics in computation theory such as automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, algebra and categories in computer science, circuits and networks, learning theory, specification and verification, parallel and distributed systems, concurrency theory, cryptography and cryptograhic protocols, approximation and randomized algorithms, computational geometry, quantum computation and information, bio-inspired computation.

For many years now, cryptography has been keeping messages secure for senders, irrespective of the routing to the destination. This same technology can be used to keep votes secure for voters, from the casting of the vote all the way through to the inclusion of the vote in the final tally. This state-of-the-art survey addresses the challenges faced in establishing a trustworthy electronic voting system. The 24 contributions included in the volume were carefully reviewed and selected from the presentations given during a series of workshops on trustworthy elections held over the last decade. Topics addresses range from foundational and theoretical aspects to algorithms and systems issues, as well as applications in various fields.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Information Security and Cryptology, Inscrypt 2012, held in Beijing, China, in November 2012. The 23 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers cover the topics of side channel attacks, extractor and secret sharing, public key cryptography, block ciphers, stream ciphers, new constructions and protocols.