Computer Security - ESORICS 2014

Computer Security - ESORICS 2014

4.11 - 1251 ratings - Source

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.Springer, Heidelberg (2013) Leroy, X.: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In: Morrisett, J.G., Jones, S.L.P. (eds.) ... ACM Press, Charleston (2006) Levin, I.: A byte-oriented AES-256 implementation (2007), Moro, N., Heydemann, K., Encrenaz ... In: Workshop on Fault Diagnosis and Tolerance in Cryptography, pp.

Title:Computer Security - ESORICS 2014
Author:Miroslaw Kutylowski, Jaideep Vaidya
Publisher:Springer - 2014-08-15


You Must CONTINUE and create a free account to access unlimited downloads & streaming