Software Engineering for Resilient Systems : 5th International Workshop,SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings
Reachability Problems : 7th International Workshop,RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
Multidisciplinary Information Retrieval : 6th Information Retrieval Facility Conference,IRFC 2013, Limassol, Cyprus, October 7-9, 2013, Proceedings
Formal Methods: Foundations and Applications : 16th Brazilian Symposium,SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
Trustworthy Global Computing : 7th International Symposium,TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Security,Privacy, and Applied Cryptography Engineering : Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013, Proceedin
Radio Frequency Identification: Security and Privacy Issues : Security and Privacy Issues 9th International Workshop,RFIDsec 2013, Graz, Austria, Jul
Algorithmic Game Theory : 6th International Symposium,SAGT 2013, Aachen, Germany, October 21-23, 2013, Proceedings
Critical Information Infrastructure Security : 6th International Workshop,CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Pa
Critical Information Infrastructures Security : 7th International Workshop,CRITIS 2012, Lillehammer, Norway, September 17-18, 2012. Revised Selected
Wireless Internet : 7th International ICST Conference,WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers
Number Theory and Cryptography : Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday