Author: Roberto Perdisci
Publisher: Springer
ISBN: 3030220389
Category : Computers
Languages : en
Pages : 509
Book Description
This book constitutes the proceedings of the 16th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2019, held in Gothenburg, Sweden, in June 2019. The 23 full papers presented in this volume were carefully reviewed and selected from 80 submissions. The contributions were organized in topical sections named: wild wild web; cyber-physical systems; malware; software security and binary analysis; network security; and attack mitigation.
Computer Aided Verification
Author: Shuvendu K. Lahiri
Publisher: Springer Nature
ISBN: 3030532887
Category : Computers
Languages : en
Pages : 682
Book Description
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
Publisher: Springer Nature
ISBN: 3030532887
Category : Computers
Languages : en
Pages : 682
Book Description
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
Applied Cryptography and Network Security
Author: Giuseppe Ateniese
Publisher: Springer Nature
ISBN: 3031092341
Category : Computers
Languages : en
Pages : 916
Book Description
The LNCS volume 13269 constitutes the proceedings of the 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, which will take place in a hybrid mode in Rome, Italy in June 2022. The 44 full papers together with 5 short papers presented in this proceeding were carefully reviewed and selected from a total of 185 submissions. They were organized in topical sections as follows: Encryption, Attacks, Cryptographic Protocols, System Security., Cryptographic Primitives, MPC, Blockchain, Block-Cyphers, and Post-Quantum Cryptography.
Publisher: Springer Nature
ISBN: 3031092341
Category : Computers
Languages : en
Pages : 916
Book Description
The LNCS volume 13269 constitutes the proceedings of the 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, which will take place in a hybrid mode in Rome, Italy in June 2022. The 44 full papers together with 5 short papers presented in this proceeding were carefully reviewed and selected from a total of 185 submissions. They were organized in topical sections as follows: Encryption, Attacks, Cryptographic Protocols, System Security., Cryptographic Primitives, MPC, Blockchain, Block-Cyphers, and Post-Quantum Cryptography.
Applied Cryptography and Network Security
Author: Robert H. Deng
Publisher: Springer
ISBN: 3030215687
Category : Computers
Languages : en
Pages : 615
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Applied Cryptography and Network Security, ACNS 2019, held in Bogota, Colombia in June 2019. The 29 revised full papers presented were carefully reviewed and selected from 111 submissions. The papers were organized in topical sections named: integrity and cryptanalysis; digital signature and MAC; software and systems security; blockchain and cryptocurrency; post quantum cryptography; public key and commitment; theory of cryptographic implementations; and privacy preserving techniques.
Publisher: Springer
ISBN: 3030215687
Category : Computers
Languages : en
Pages : 615
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Applied Cryptography and Network Security, ACNS 2019, held in Bogota, Colombia in June 2019. The 29 revised full papers presented were carefully reviewed and selected from 111 submissions. The papers were organized in topical sections named: integrity and cryptanalysis; digital signature and MAC; software and systems security; blockchain and cryptocurrency; post quantum cryptography; public key and commitment; theory of cryptographic implementations; and privacy preserving techniques.
Verified Software. Theories, Tools, and Experiments
Author: Supratik Chakraborty
Publisher: Springer Nature
ISBN: 3030416003
Category : Computers
Languages : en
Pages : 208
Book Description
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Publisher: Springer Nature
ISBN: 3030416003
Category : Computers
Languages : en
Pages : 208
Book Description
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Advances in Artificial Intelligence and Security
Author: Xingming Sun
Publisher: Springer Nature
ISBN: 3030786218
Category : Computers
Languages : en
Pages : 771
Book Description
The 3-volume set CCIS 1422, CCIS 1423 and CCIS 1424 constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Security, ICAIS 2021, which was held in Dublin, Ireland, in July 2021. The total of 131 full papers and 52 short papers presented in this 3-volume proceedings was carefully reviewed and selected from 1013 submissions. The papers were organized in topical sections as follows: Part I: artificial intelligence; Part II: artificial intelligence; big data; cloud computing and security; Part III: cloud computing and security; encryption and cybersecurity; information hiding; IoT security.
Publisher: Springer Nature
ISBN: 3030786218
Category : Computers
Languages : en
Pages : 771
Book Description
The 3-volume set CCIS 1422, CCIS 1423 and CCIS 1424 constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Security, ICAIS 2021, which was held in Dublin, Ireland, in July 2021. The total of 131 full papers and 52 short papers presented in this 3-volume proceedings was carefully reviewed and selected from 1013 submissions. The papers were organized in topical sections as follows: Part I: artificial intelligence; Part II: artificial intelligence; big data; cloud computing and security; Part III: cloud computing and security; encryption and cybersecurity; information hiding; IoT security.
Passive and Active Measurement
Author: Philipp Richter
Publisher: Springer Nature
ISBN: 3031562496
Category :
Languages : en
Pages : 315
Book Description
Publisher: Springer Nature
ISBN: 3031562496
Category :
Languages : en
Pages : 315
Book Description
Foundations and Practice of Security
Author: Mohamed Mosbah
Publisher: Springer Nature
ISBN: 3031575377
Category :
Languages : en
Pages : 468
Book Description
Publisher: Springer Nature
ISBN: 3031575377
Category :
Languages : en
Pages : 468
Book Description
Applied Reconfigurable Computing. Architectures, Tools, and Applications
Author: Francesca Palumbo
Publisher: Springer Nature
ISBN: 3031429214
Category : Computers
Languages : en
Pages : 380
Book Description
This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023. The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design methods and tools; applications; architectures; special session: near and in-memory computing; and PhD forum papers.
Publisher: Springer Nature
ISBN: 3031429214
Category : Computers
Languages : en
Pages : 380
Book Description
This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023. The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design methods and tools; applications; architectures; special session: near and in-memory computing; and PhD forum papers.
Financial Cryptography and Data Security
Author: Ian Goldberg
Publisher: Springer Nature
ISBN: 3030321010
Category : Computers
Languages : en
Pages : 705
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, held in St. Kitts, St. Kitts and Nevis in February 2019.The 32 revised full papers and 7 short papers were carefully selected and reviewed from 179 submissions. The papers are grouped in the following topical sections: Cryptocurrency Cryptanalysis, Measurement, Payment Protocol Security, Multiparty Protocols, Off-Chain Mechanisms, Fraud Detection, Game Theory, IoT Security and much more.
Publisher: Springer Nature
ISBN: 3030321010
Category : Computers
Languages : en
Pages : 705
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, held in St. Kitts, St. Kitts and Nevis in February 2019.The 32 revised full papers and 7 short papers were carefully selected and reviewed from 179 submissions. The papers are grouped in the following topical sections: Cryptocurrency Cryptanalysis, Measurement, Payment Protocol Security, Multiparty Protocols, Off-Chain Mechanisms, Fraud Detection, Game Theory, IoT Security and much more.
Detection of Intrusions and Malware, and Vulnerability Assessment
Author: Daniel Gruss
Publisher: Springer Nature
ISBN: 3031355040
Category : Computers
Languages : en
Pages : 281
Book Description
This book constitutes the proceedings of the 20th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2023, held in Hamburg, Germany, in July 2023. The 12 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 43 submissions. The papers are organized in thematical sections named: Side Channels Attacks; Security and Machine Learning; Cyber Physical System Security; Security Issues when Dealing with Users; Analysis of Vulnerable Code; Flow Integrity and Security.
Publisher: Springer Nature
ISBN: 3031355040
Category : Computers
Languages : en
Pages : 281
Book Description
This book constitutes the proceedings of the 20th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2023, held in Hamburg, Germany, in July 2023. The 12 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 43 submissions. The papers are organized in thematical sections named: Side Channels Attacks; Security and Machine Learning; Cyber Physical System Security; Security Issues when Dealing with Users; Analysis of Vulnerable Code; Flow Integrity and Security.