| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465941703316 |
|
|
Titolo |
Static Analysis [[electronic resource] ] : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings / / edited by Eran Yahav |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2011.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 387 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 6887 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Programming languages (Electronic computers) |
Mathematical logic |
Computer programming |
Computer simulation |
Software Engineering |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
Programming Techniques |
Simulation and Modeling |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, |
|
|
|
|
|
|
|
|
|
|
|
|
|
security analysis and type checking. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910983085303321 |
|
|
Titolo |
Information and Communications Security : 26th International Conference, ICICS 2024, Mytilene, Greece, August 26–28, 2024, Proceedings, Part I / / edited by Sokratis Katsikas, Christos Xenakis, Christos Kalloniatis, Costas Lambrinoudakis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (342 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15056 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Data structures (Computer science) |
Information theory |
Database management |
Data mining |
Application software |
Image processing - Digital techniques |
Computer vision |
Cryptography |
Data encryption (Computer science) |
Data Structures and Information Theory |
Database Management |
Data Mining and Knowledge Discovery |
Computer and Information Systems Applications |
Computer Imaging, Vision, Pattern Recognition and Graphics |
Cryptology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
-- Attacks. -- How to Design Honey Vault Schemes. -- New Result for |
|
|
|
|
|
|
|
|
|
|
|
Breaking NTRU Encryption with Multiple Keys in Polynomial Time. -- Improving Differential-Neural Cryptanalysis for Large-State SPECK. -- Evasion attempt for the malicious PowerShell detector considering feature weights. -- A Fast Framework for Efficiently Constructing Valuable Cubes. -- A Survey on Acoustic Side Channel Attacks on Keyboards. -- Trust. -- Enhancing TrUStAPIS Methodology in the Web of Things with LLM-generated IoT Trust Semantics. -- DMA: Mutual Attestation Framework for Distributed Enclaves. -- Cabin: Confining Untrusted Programs within Confidential VM. -- Anomaly detection. -- UARC:Unsupervised Anomalous Traffic Detection with Improved U-shaped Autoencoder and RetNet based Multi-Clustering. -- An Investigation into the Performance of Non-Contrastive Self-Supervised Learning Methods for Network Intrusion Detection. -- Impact of Recurrent Neural Networks and Deep Learning Frameworks on Adaptive Real-time Lightweight Time Series Anomaly Detection. -- Privacy. -- Secure and Robust Privacy-Preserving Federated Learning For Heterogeneous Resource. -- Privacy-preserving Logistic Regression Model Training Scheme by Homomorphic Encryption. -- Privacy preserving and verifiable outsourcing of AI processing for cyber-physical systems. -- Investigating the Privacy Risk of using Robot Vacuum Cleaners in Smart Environments. |
|
|
|
|
|
|
Sommario/riassunto |
|
This two-volume proceedings set LNCS 15056-15057 constitutes the proceedings of 26th International Conference on Information and Communications Security, ICICS 2024, in Mytilene, Greece, during August 26-28, 2024. The 32 full papers presented in this book were carefully selected and reviewed from 123 submissions. They cover topics related to many aspects of security in information and communication systems, ranging from attacks, to defences, to trust issues, to anomaly-based intrusion detection, to privacy preservation, and to theory and applications of various cryptographic techniques. . |
|
|
|
|
|
|
|
| |