Del 11735 i serien Lecture Notes in Computer Science

Computer Security – ESORICS 2019

24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

Häftad, Engelska, 2019

AvKazue Sako,Steve Schneider,Peter Y. A. Ryan

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows:Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts.Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security.

Produktinformation

Utgivningsdatum2019-08-27
Mått155 x 235 x 45 mm
Vikt1 247 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor811
FörlagSpringer Nature Switzerland AG
ISBN9783030299583

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och IT
Hårdvara inom Data och IT
Nätverk och kommunikation inom Data och IT
IT-säkerhet inom Data och IT

Machine Learning.- Privacy-Enhanced Machine Learning with Functional Encryption.- Towards Secure and Efficient Outsourcing of Machine Learning Classification.- Confidential Boosting with Random Linear Classifiers for Outsourced User-generated Data.- BDPL: A Boundary Differentially Private Layer Against Machine Learning Model Extraction Attacks.- Information Leakage.- The Leakage-Resilience Dilemma.- A Taxonomy of Attacks using BGP Blackholing.- Local Obfuscation Mechanisms for Hiding Probability Distributions.- A First Look into Privacy Leakage in 3D Mixed Reality Data.- Signatures and Re-encryption.- Flexible Signatures: Making Authentication Suitable for Real-Time Environments.- A Dynamic & Revocable Group Merkle Signature.- Puncturable Proxy Re-Encryption supporting to Group Messaging Service.- Generic Traceable Proxy Re-Encryption and Accountable Extension in Consensus Network.- Side Channels.- Side-Channel Aware Fuzzing.- NetSpectre: Read Arbitrary Memory over Network.- maskVerif:Automated Verification of Higher-Order Masking in Presence of Physical Defaults.- Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems.- Formal Modelling and Verification.- A Formal Model for Checking Cryptographic API Usage in JavaScript.- Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.- Symbolic Analysis of Terrorist Fraud Resistance.- Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) vs. QUIC.- Attacks.- Where to Look for What You See Is What You Sign? User Confusion in Transaction Security.- On the Security and Applicability of Fragile Camera Fingerprints.- Attacking Speaker Recognition Systems with Phoneme Morphing.- Practical Bayesian Poisoning Attacks on Challenge-based Collaborative Intrusion Detection Networks.- A Framework for Evaluating Security in the Presence of Signal Injection Attacks.- Secure Protocols.- Formalizing and Proving Privacy Properties of Voting Protocols using Alpha-Beta Privacy.- ProCSA: Protecting Privacy in Crowdsourced Spectrum Allocation.- Breaking Unlinkability of the ICAO 9303 Standard for e-Passports using Bisimilarity.- Symmetric-key Corruption Detection : When XOR-MACs Meet Combinatorial Group Testing.- Useful Tools.- Finding Flaws from Password Authentication Code in Android Apps.- Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution.- iCAT: An Interactive Customizable Anonymization Tool.- Monitoring the GDPR.- Blockchain and Smart Contracts.- Incentives for Harvesting Attack in Proof of Work mining pools.- A Lattice-Based Linkable Ring Signature Supporting Stealth Addresses.- Annotary: A Concolic Execution System for Developing Secure Smart Contracts.- PDFS: Practical Data Feed Service for Smart Contracts.- Towards a Marketplace for Secure Outsourced Computations.

Du kanske också är intresserad av

Del 11736

Computer Security – ESORICS 2019

Kazue Sako, Steve Schneider, Peter Y. A. Ryan

Häftad, 2019

739 kr

Formal Aspects in Security and Trust

Theo Dimitrakos, Fabio Martinelli, Peter Y A Ryan, Steve Schneider

Häftad, 2007

749 kr

Melanie Volkamer, David Duenas-Cid, Peter Rønne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodriguez Pérez, Iuliia Spycher-Krivonosova - Electronic Voting, Häftad

Del 14230

Electronic Voting

Melanie Volkamer, David Duenas-Cid, Peter Rønne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodriguez Pérez, Iuliia Spycher-Krivonosova

Häftad, 2023

599 kr

Towards Trustworthy Elections

David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben Adida

Häftad, 2010

749 kr

Real-World Electronic Voting

Feng Hao, Peter Y. A. Ryan

Inbunden, 2016

2 809 kr

Del 10141

Electronic Voting

Robert Krimmer, Melanie Volkamer, Jordi Barrat, Josh Benaloh, Nicole Goodman, Peter Y. A. Ryan, Vanessa Teague

Häftad, 2017

749 kr

E-Voting and Identity

Peter Y. A. Ryan, Berry Schoenmakers

Häftad, 2009

749 kr

Real-World Electronic Voting

Feng Hao, Peter Y. A. Ryan

Häftad, 2020

939 kr

New Codebreakers

Peter Y. A. Ryan, David Naccache, Jean-Jacques Quisquater

Häftad, 2016

819 kr

Del 9327

Computer Security -- ESORICS 2015

Günther Pernul, Peter Y A Ryan, Edgar Weippl

Häftad, 2015

749 kr

Del 11735 i serien Lecture Notes in Computer Science

Computer Security – ESORICS 2019

24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

Häftad, Engelska, 2019

AvKazue Sako,Steve Schneider,Peter Y. A. Ryan

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2019-08-27
Mått155 x 235 x 45 mm
Vikt1 247 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor811
FörlagSpringer Nature Switzerland AG
ISBN9783030299583

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och IT
Hårdvara inom Data och IT
Nätverk och kommunikation inom Data och IT
IT-säkerhet inom Data och IT

Machine Learning.- Privacy-Enhanced Machine Learning with Functional Encryption.- Towards Secure and Efficient Outsourcing of Machine Learning Classification.- Confidential Boosting with Random Linear Classifiers for Outsourced User-generated Data.- BDPL: A Boundary Differentially Private Layer Against Machine Learning Model Extraction Attacks.- Information Leakage.- The Leakage-Resilience Dilemma.- A Taxonomy of Attacks using BGP Blackholing.- Local Obfuscation Mechanisms for Hiding Probability Distributions.- A First Look into Privacy Leakage in 3D Mixed Reality Data.- Signatures and Re-encryption.- Flexible Signatures: Making Authentication Suitable for Real-Time Environments.- A Dynamic & Revocable Group Merkle Signature.- Puncturable Proxy Re-Encryption supporting to Group Messaging Service.- Generic Traceable Proxy Re-Encryption and Accountable Extension in Consensus Network.- Side Channels.- Side-Channel Aware Fuzzing.- NetSpectre: Read Arbitrary Memory over Network.- maskVerif:Automated Verification of Higher-Order Masking in Presence of Physical Defaults.- Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems.- Formal Modelling and Verification.- A Formal Model for Checking Cryptographic API Usage in JavaScript.- Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.- Symbolic Analysis of Terrorist Fraud Resistance.- Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) vs. QUIC.- Attacks.- Where to Look for What You See Is What You Sign? User Confusion in Transaction Security.- On the Security and Applicability of Fragile Camera Fingerprints.- Attacking Speaker Recognition Systems with Phoneme Morphing.- Practical Bayesian Poisoning Attacks on Challenge-based Collaborative Intrusion Detection Networks.- A Framework for Evaluating Security in the Presence of Signal Injection Attacks.- Secure Protocols.- Formalizing and Proving Privacy Properties of Voting Protocols using Alpha-Beta Privacy.- ProCSA: Protecting Privacy in Crowdsourced Spectrum Allocation.- Breaking Unlinkability of the ICAO 9303 Standard for e-Passports using Bisimilarity.- Symmetric-key Corruption Detection : When XOR-MACs Meet Combinatorial Group Testing.- Useful Tools.- Finding Flaws from Password Authentication Code in Android Apps.- Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution.- iCAT: An Interactive Customizable Anonymization Tool.- Monitoring the GDPR.- Blockchain and Smart Contracts.- Incentives for Harvesting Attack in Proof of Work mining pools.- A Lattice-Based Linkable Ring Signature Supporting Stealth Addresses.- Annotary: A Concolic Execution System for Developing Secure Smart Contracts.- PDFS: Practical Data Feed Service for Smart Contracts.- Towards a Marketplace for Secure Outsourced Computations.