東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

Provable and practical security = 18th 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 security/ edited 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:	ProvSec (Conference)
Published:	Singapore :Springer Nature Singapore : : 2025.,
Description:	xvi, 312 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Computer security - Congresses. -
Online resource:	https://doi.org/10.1007/978-981-96-0957-4
ISBN:	9789819609574

Provable and practical security = 18th 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 ;14904..

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

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

622818
Computer security
--Congresses.

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

Dewey Class. No.: 005.82

Provable and practical security = 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024 : proceedings.. Part II /
LDR:03401nmm a2200373 a 4500 001 2408686
003 DE-He213
005 20250131115231.0
006 m d
007 cr nn 008maaau
008 260204s2025 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 $a ProvSec (Conference) $n (18th : $d 2024 : $c Gold Coast, Qld.) $3 3781369
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 622818
650 0 $a Data encryption (Computer science) $v Congresses. $3 844473
650 1 4 $a Cryptology. $3 3382308
650 2 4 $a Computer Communication Networks. $3 775497
650 2 4 $a Mobile and Network Security. $3 3382377
650 2 4 $a Computer and Information Systems Applications. $3 3538505
700 1 $a Liu, Joseph K. $3 2199751
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14904. $3 3781370
856 4 0 $u https://doi.org/10.1007/978-981-96-0957-4
950 $a Computer Science (SpringerNature-11645)