國立高雄大學圖資館 |

Language: English

Back

Provable and practical security18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024 : proceedings.Part II /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Provable and practical securityedited by Joseph K. Liu ... [et al.].
Reminder of title:	18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024 : proceedings.
remainder title:	ProvSec 2024
other author:	Liu, Joseph K.
corporate name:
Published:	Singapore :Springer Nature Singapore :2025.
Description:	xvi, 312 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer securityCongresses.
Online resource:	https://doi.org/10.1007/978-981-96-0957-4
ISBN:	9789819609574$q(electronic bk.)

Provable and practical security18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024 : proceedings.Part II /
Provable and practical security18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024 : proceedings.Part II /[electronic resource] :ProvSec 2024edited by Joseph K. Liu ... [et al.]. - Singapore :Springer Nature Singapore :2025. - xvi, 312 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,149040302-9743 ;. - Lecture notes in computer science ;4891..

Tight Security. -- Efficient Variants of TNT with BBB Security. -- ROM Reduction Failures: Reasons and Solutions. -- Quantum-Safe Cryptography. -- BDEC: Enhancing Learning Credibility via Post-Quantum Digital Credentials. -- Semi-Compressed CRYSTALS-Kyber. -- Blocklistable Anonymous Credential for Circuits with Post-Quantum Security. -- Distributed System and Blockchain Security. -- Asynchronous Byzantine Fault Tolerance Reliable Broadcast Based on Directed Acyclic Graph. -- PDTS: Practical Data Trading Scheme in Distributed Environments. -- Communication-Efficient Secure Neural Network via Key-Reduced Distributed Comparison Function. -- Enabling Efficient Cross-Shard Smart Contract Calling via Overlapping. -- Key Exchange and Privacy. -- Subversion-Resilient Authenticated Key Exchange with Reverse Firewalls. -- On Sealed-bid Combinatorial Auction with Privacy-Preserving Dynamic Programming. -- Short Papers. -- SePEnTra: A secure and privacy-preserving energy trading mechanism in the transactive energy market. -- On Multi-user Security of Lattice-based Signature under Adaptive Corruptions and Key Leakages. -- Reusable Fuzzy Extractor from Isogeny. -- Ensuring Fair Data Trading via Passive Proxy Re-encryption with Smart Contracts. -- DPAC: A New Data-centric Privacy-preserving Access Control Model. -- Improving the Accuracy of Transaction-Based Ponzi Detection on Ethereum. -- A2V: Anonymous and Accountable Voting Framework via Blockchain. -- Quantum Safe Computation-friendly Identity-binding Password Authenticated Key Exchange.

This book constitutes the proceedings of the 18th International Conference on Provable and Practical Security, ProvSec 2024, which took place in Gold Coast, QLD, Australia, during September 25-27, 2024. The 26 full papers and 8 short papers presented were thoroughly reviewed and selected from the 79 submissions. The papers are organized in the following topical sections: Part I: Multi-Party Computation; Searchable Encryption; Encryption and Signature. Part II : Tight Security; Quantum-Safe Cryptography; Distributed System and Blockchain Security; and Key Exchange and Privacy.

ISBN: 9789819609574$q(electronic bk.)

Standard No.: 10.1007/978-981-96-0957-4doiSubjects--Topical Terms:

383239
Computer security
--Congresses.

LC Class. No.: QA76.9.A25 / P76 2024

Dewey Class. No.: 005.82

Provable and practical security18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024 : proceedings.Part II /
LDR:03402nmm a2200373 a 4500 001 679683
003 DE-He213
005 20250131115231.0
006 m d
007 cr nn 008maaau
008 251110s2025 si s 0 eng d
020 $a 9789819609574$q(electronic bk.)
020 $a 9789819609567$q(paper)
024 7 $a 10.1007/978-981-96-0957-4 $2 doi
035 $a 978-981-96-0957-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b P76 2024
072 7 $a GPJ $2 bicssc
072 7 $a URY $2 bicssc
072 7 $a COM083000 $2 bisacsh
072 7 $a GPJ $2 thema
072 7 $a URY $2 thema
082 0 4 $a 005.82 $2 23
090 $a QA76.9.A25 $b P969 2024
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Provable and practical security $h [electronic resource] : $b 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024 : proceedings. $n Part II / $c edited by Joseph K. Liu ... [et al.].
246 3 $a ProvSec 2024
260 $a Singapore : $b Springer Nature Singapore : $b Imprint: Springer, $c 2025.
300 $a xvi, 312 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14904
505 0 $a Tight Security. -- Efficient Variants of TNT with BBB Security. -- ROM Reduction Failures: Reasons and Solutions. -- Quantum-Safe Cryptography. -- BDEC: Enhancing Learning Credibility via Post-Quantum Digital Credentials. -- Semi-Compressed CRYSTALS-Kyber. -- Blocklistable Anonymous Credential for Circuits with Post-Quantum Security. -- Distributed System and Blockchain Security. -- Asynchronous Byzantine Fault Tolerance Reliable Broadcast Based on Directed Acyclic Graph. -- PDTS: Practical Data Trading Scheme in Distributed Environments. -- Communication-Efficient Secure Neural Network via Key-Reduced Distributed Comparison Function. -- Enabling Efficient Cross-Shard Smart Contract Calling via Overlapping. -- Key Exchange and Privacy. -- Subversion-Resilient Authenticated Key Exchange with Reverse Firewalls. -- On Sealed-bid Combinatorial Auction with Privacy-Preserving Dynamic Programming. -- Short Papers. -- SePEnTra: A secure and privacy-preserving energy trading mechanism in the transactive energy market. -- On Multi-user Security of Lattice-based Signature under Adaptive Corruptions and Key Leakages. -- Reusable Fuzzy Extractor from Isogeny. -- Ensuring Fair Data Trading via Passive Proxy Re-encryption with Smart Contracts. -- DPAC: A New Data-centric Privacy-preserving Access Control Model. -- Improving the Accuracy of Transaction-Based Ponzi Detection on Ethereum. -- A2V: Anonymous and Accountable Voting Framework via Blockchain. -- Quantum Safe Computation-friendly Identity-binding Password Authenticated Key Exchange.
520 $a This book constitutes the proceedings of the 18th International Conference on Provable and Practical Security, ProvSec 2024, which took place in Gold Coast, QLD, Australia, during September 25-27, 2024. The 26 full papers and 8 short papers presented were thoroughly reviewed and selected from the 79 submissions. The papers are organized in the following topical sections: Part I: Multi-Party Computation; Searchable Encryption; Encryption and Signature. Part II : Tight Security; Quantum-Safe Cryptography; Distributed System and Blockchain Security; and Key Exchange and Privacy.
650 0 $a Computer security $v Congresses. $3 383239
650 0 $a Data encryption (Computer science) $3 184520
650 1 4 $a Cryptology. $3 825728
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Mobile and Network Security. $3 825732
650 2 4 $a Computer and Information Systems Applications. $3 913125
700 1 $a Liu, Joseph K. $3 749749
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
856 4 0 $u https://doi.org/10.1007/978-981-96-0957-4
950 $a Computer Science (SpringerNature-11645)