國立高雄大學圖資館 |

Language: English

Back

Computer Security - ESORICS 201924th...

(1998 :)

Computer Security - ESORICS 201924th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019 : proceedings.Part II /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Computer Security - ESORICS 2019edited by Kazue Sako, Steve Schneider, Peter Y. A. Ryan.
Reminder of title:	24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019 : proceedings.
remainder title:	ESORICS 2019
other author:	Sako, Kazue.
corporate name:
Published:	Cham :Springer International Publishing :2019.
Description:	xxvi, 627 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer securityCongresses.
Online resource:	https://doi.org/10.1007/978-3-030-29962-0
ISBN:	9783030299620$q(electronic bk.)

Computer Security - ESORICS 201924th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019 : proceedings.Part II /
Computer Security - ESORICS 201924th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019 : proceedings.Part II /[electronic resource] :ESORICS 2019edited by Kazue Sako, Steve Schneider, Peter Y. A. Ryan. - Cham :Springer International Publishing :2019. - xxvi, 627 p. :ill., digital ;24 cm. - Lecture notes in computer science,117360302-9743 ;. - Lecture notes in computer science ;4891..

Software Security -- Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs -- Uncovering Information Flow Policy Violations in C Programs -- BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning -- Static Detection of Uninitialized Stack Variables in Binary Code -- Towards Automated Application-Specific Software Stacks -- Cryptographic Protocols -- Identity-Based Encryption with Security against the KGC: A Formal Model and Its Instantiation from Lattices -- Forward-Secure Puncturable Identity-Based Encryption for Securing Cloud Emails -- Feistel Structures for MPC, and More -- Arithmetic Garbling from Bilinear Maps -- Security Models -- SEPD: An Access Control Model for Resource Sharing in an IoT Environment -- Nighthawk: Transparent System Introspection from Ring -3 -- Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement -- Enhancing Security and Dependability of Industrial Networks with Opinion Dynamics -- Searchable Encryption -- Dynamic Searchable Symmetric Encryption with Forward and Stronger Backward Privacy -- Towards Efficient Verifiable Forward Secure Searchable Symmetric Encryption -- Generic Multi-keyword Ranked Search on Encrypted Cloud Data -- An Efficiently Searchable Encrypted Data Structure for Range Queries -- Privacy -- GDPiRated - Stealing Personal Information On- and Offline -- Location Privacy-Preserving Mobile Crowd Sensing with Anonymous Reputation -- OCRAM-assisted Sensitive Data Protection on ARM-based Platform -- Privacy-Preserving Collaborative Medical Time Series Analysis based on Dynamic Time Warping -- Key Exchange Protocols -- IoT-friendly AKE: Forward Secrecy and Session Resumption Meet Symmetric-key Cryptography -- Strongly Secure Identity-Based Key Exchange with Single Pairing Operation -- A Complete and Optimized Key Mismatch Attack on NIST Candidate NewHope -- Breakdown Resilience of Key Exchange Protocols: NewHope, TLS 1.3, and Hybrids -- Web Security -- The Risks of WebGL: Analysis, Evaluation and Detection -- Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks -- Fingerprint Surface-Based Detection of Web Bot Detectors -- Testing for Integrity Flaws in Web Sessions.

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.

ISBN: 9783030299620$q(electronic bk.)

Standard No.: 10.1007/978-3-030-29962-0doiSubjects--Topical Terms:

383239
Computer security
--Congresses.

LC Class. No.: QA76.9.A25 / E87 2019

Dewey Class. No.: 005.8

Computer Security - ESORICS 201924th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019 : proceedings.Part II /
LDR:04265nmm a2200373 a 4500 001 586815
003 DE-He213
005 20200701090415.0
006 m d
007 cr nn 008maaau
008 210326s2019 sz s 0 eng d
020 $a 9783030299620$q(electronic bk.)
020 $a 9783030299613$q(paper)
024 7 $a 10.1007/978-3-030-29962-0 $2 doi
035 $a 978-3-030-29962-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b E87 2019
072 7 $a UR $2 bicssc
072 7 $a COM053000 $2 bisacsh
072 7 $a UR $2 thema
072 7 $a UTN $2 thema
082 0 4 $a 005.8 $2 23
090 $a QA76.9.A25 $b E89 2019
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Computer Security - ESORICS 2019 $h [electronic resource] : $b 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019 : proceedings. $n Part II / $c edited by Kazue Sako, Steve Schneider, Peter Y. A. Ryan.
246 3 $a ESORICS 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xxvi, 627 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11736
490 1 $a Security and cryptology
505 0 $a Software Security -- Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs -- Uncovering Information Flow Policy Violations in C Programs -- BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning -- Static Detection of Uninitialized Stack Variables in Binary Code -- Towards Automated Application-Specific Software Stacks -- Cryptographic Protocols -- Identity-Based Encryption with Security against the KGC: A Formal Model and Its Instantiation from Lattices -- Forward-Secure Puncturable Identity-Based Encryption for Securing Cloud Emails -- Feistel Structures for MPC, and More -- Arithmetic Garbling from Bilinear Maps -- Security Models -- SEPD: An Access Control Model for Resource Sharing in an IoT Environment -- Nighthawk: Transparent System Introspection from Ring -3 -- Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement -- Enhancing Security and Dependability of Industrial Networks with Opinion Dynamics -- Searchable Encryption -- Dynamic Searchable Symmetric Encryption with Forward and Stronger Backward Privacy -- Towards Efficient Verifiable Forward Secure Searchable Symmetric Encryption -- Generic Multi-keyword Ranked Search on Encrypted Cloud Data -- An Efficiently Searchable Encrypted Data Structure for Range Queries -- Privacy -- GDPiRated - Stealing Personal Information On- and Offline -- Location Privacy-Preserving Mobile Crowd Sensing with Anonymous Reputation -- OCRAM-assisted Sensitive Data Protection on ARM-based Platform -- Privacy-Preserving Collaborative Medical Time Series Analysis based on Dynamic Time Warping -- Key Exchange Protocols -- IoT-friendly AKE: Forward Secrecy and Session Resumption Meet Symmetric-key Cryptography -- Strongly Secure Identity-Based Key Exchange with Single Pairing Operation -- A Complete and Optimized Key Mismatch Attack on NIST Candidate NewHope -- Breakdown Resilience of Key Exchange Protocols: NewHope, TLS 1.3, and Hybrids -- Web Security -- The Risks of WebGL: Analysis, Evaluation and Detection -- Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks -- Fingerprint Surface-Based Detection of Web Bot Detectors -- Testing for Integrity Flaws in Web Sessions.
520 $a 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.
650 0 $a Computer security $v Congresses. $3 383239
650 0 $a Data encryption (Computer science) $3 184520
650 0 $a Computer networks $x Security measures $v Congresses. $3 384553
650 0 $a Data protection $v Congresses. $3 384517
650 1 4 $a Systems and Data Security. $3 274481
650 2 4 $a Computer Systems Organization and Communication Networks. $3 273709
650 2 4 $a Computing Milieux. $3 275270
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Information Systems Applications (incl. Internet) $3 530743
650 2 4 $a Software Engineering. $3 274511
700 1 $a Sako, Kazue. $3 563378
700 1 $a Schneider, Steve. $3 749741
700 1 $a Ryan, Peter Y. A. $3 878335
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Security and cryptology. $3 822028
856 4 0 $u https://doi.org/10.1007/978-3-030-29962-0
950 $a Computer Science (SpringerNature-11645)