Computer Security - ESORICS 2020
Cód:
491_9783030590123
De: R$ 0,00Por: R$ 1.014,49ou X de
Formal Modelling.- Automatic generation of source lemmas in Tamarin: towards automatic proofs of security protocols.- When is a test not a proof.- Hardware Fingerprinting for the ARINC 429 Avionic Bus.- Applied Cryptography.- Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-based Definition.- SHECS-PIR: Somewhat Homomorphic Encryption-based Compact and Scalable Private Information Retrieval.- Puncturable Encryption: A Generic Construction from Delegatable Fully Key-Homomorphic Encryption.- Analyzing Attacks.- Linear Attack on Round-Reduced DES Using Deep Learning.- Detection by Attack: Detecting Adversarial Samples by Undercover Attack.- Big Enough to Care Not Enough to Scare! Crawling to Attack Recommender Systems.- Active Re-identification Attacks on Periodically Released Dynamic Social Graphs.- System Security.- Fooling primality tests on smartcards.- An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.- On the Privacy Risks of Compromised Trigger-Action Platforms.- Plenty of Phish in the Sea: Analyzing Potential Pre-Attack Surfaces.- Post-Quantum Cryptography.- Towards Post-Quantum Security for Cyber-Physical Systems: Integrating PQC into Industrial M2M Communication.- CSH: A Post-quantum Secret Handshake Scheme from Coding Theory.- A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing.- A Lattice-Based Key-Insulated and Privacy-Preserving Signature Scheme with Publicly Derived Public Key.- Post-Quantum Adaptor Signatures and Payment Channel Networks.- Security Analysis.- Linear-Complexity Private Function Evaluation is Practical.- Certifying Decision Trees Against Evasion Attacks by Program Analysis.- They Might NOT Be Giants: Crafting Black-Box Adversarial Examples Using Particle Swarm Optimization.- Understanding Object Detection Through An Adversarial Lens.- Applied Cryptography.- Signatures with Tight Multi-User Security from Search Assu
Veja mais
