My Account Log in

1 option

Provable Security : 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / edited by Joonsang Baek, Willy Susilo, Jongkil Kim.

SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online

View online
Format:
Book
Contributor:
Baek, Joonsang, editor.
Susilo, Willy, editor.
Kim, Jongkil, editor.
SpringerLink (Online service)
Series:
Computer Science (Springer-11645)
LNCS sublibrary. Security and cryptology ; SL 4, 11192.
Security and Cryptology ; 11192
Language:
English
Subjects (All):
Data encryption (Computer science).
Software engineering.
Computer organization.
Data structures (Computer science).
Computers.
Cryptology.
Software Engineering/Programming and Operating Systems.
Computer Systems Organization and Communication Networks.
Data Structures and Information Theory.
Computing Milieux.
Local Subjects:
Cryptology.
Software Engineering/Programming and Operating Systems.
Computer Systems Organization and Communication Networks.
Data Structures and Information Theory.
Computing Milieux.
Physical Description:
1 online resource (XI, 424 pages) : 42 illustrations.
Edition:
First edition 2018.
Contained In:
Springer eBooks
Place of Publication:
Cham : Springer International Publishing : Imprint: Springer, 2018.
System Details:
text file PDF
Summary:
This book constitutes the refereed proceedings of the 12th International Conference on Provable Security, ProvSec 2018, held in Jeju, South Korea, in October 2018. The 21 full and 4 short papers presented were carefully reviewed and selected from 48 submissions. The papers are grouped in topical sections on foundation. Public key encryption, digital signature, symmetric key cryptography, and applications.
Contents:
On the Leakage of Corrupted Garbled Circuits
Location-Proof System Based on Secure Multi-Party Computations
Verifiable Homomorphic Secret Sharing
Single Private-Key Generator Security Implies Multiple Private-Key Generators Security
Secure Outsourcing of Cryptographic Circuits Manufacturing
On the Hardness of Learning Parity with Noise over Rings
A CCA-Secure Collusion-Resistant Identity-Based Proxy Re-Encryption Scheme
Multivariate Encryption Schemes Based on the Constrained MQ Problem
Token-Based Multi-Input Functional Encryption
On the CCA2 Security of McEliece in the Standard Model
Efficient Attribute-Based Encryption with BlackBox Traceability
A Code-Based Linkable Ring Signature Scheme
Towards Static Assumption Based Cryptosystem in Pairing Setting: Further Applications of DejaQ and Dual-Form Signature
Digital Signatures from the Middle-Product LWE
Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation
A Simpler Construction of Identity-Based Ring Signatures from Lattices
A Generic Construction of Sequential Aggregate MACs from Any MACs
Length-Preserving Encryption Based on Single-key Tweakable Block Cipher
Modeling Privacy in WiFi Fingerprinting Indoor Localization
Security Notions for Cloud Storage and Deduplication
Forward Secrecy for SPAKE2
User-Mediated Authentication Protocols and Unforgeability for Key Collision
BAdASS: Preserving Privacy in Behavioural Advertising with Applied Secret Sharing
Signcryption with Quantum Random Oracles
Formal Treatment of Verifiable Privacy-Preserving Data-Aggregation Protocols. .
Other Format:
Printed edition:
ISBN:
978-3-030-01446-9
9783030014469
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account