Limit Search Results
Author
SpringerLink (Online service)
(94)
Reyzin, Leonid. editor.
(10)
Stebila, Douglas. editor. (orcid)0000-0001-9443-3170
(10)
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X
(9)
Sasaki, Yu. editor. (orcid)0000-0002-1273-2394
(9)
Language
Publication Date
-
Subject
Computer networks .
(88)
Data encryption (Computer science).
(50)
Cryptography.
(45)
Cryptology.
(45)
Application software.
(37)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
94 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part I
Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part I
Author 
Lin, Dongdai. editor. Wang, Meiqin. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4731-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part II
Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part II
Author 
Lin, Dongdai. editor. Wang, Meiqin. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4734-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Security and Privacy 3rd International Conference, ICSP 2024, Jamshedpur, India, November 20-21, 2024, Proceedings
Security and Privacy 3rd International Conference, ICSP 2024, Jamshedpur, India, November 20-21, 2024, Proceedings
Author 
Mesnager, Sihem. editor. (orcid)0000-0003-4008-2031 Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 Debnath, Sumit Kumar. editor. (orcid)0000-0001-6374-1410 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90587-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings
Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings
Author 
Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996 Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94263-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Information Processing and Network Provisioning Third International Conference, ICIPNP 2024 Spring, Beijing, China, June 14-16, 2024, Proceedings, Part IV
Information Processing and Network Provisioning Third International Conference, ICIPNP 2024 Spring, Beijing, China, June 14-16, 2024, Proceedings, Part IV
Author 
Kadoch, Michel. editor. Cheriet, Mohamed. editor. Qiu, Xuesong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6459-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
Author 
Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Information Processing and Network Provisioning Third International Conference, ICIPNP 2024 Spring, Beijing, China, June 14-16, 2024, Proceedings, Part I
Information Processing and Network Provisioning Third International Conference, ICIPNP 2024 Spring, Beijing, China, June 14-16, 2024, Proceedings, Part I
Author 
Kadoch, Michel. editor. Cheriet, Mohamed. editor. Qiu, Xuesong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6468-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part I
Detection of Intrusions and Malware, and Vulnerability Assessment 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part I
Author 
Egele, Manuel. editor. (orcid)0000-0001-5038-2682 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 Gruss, Daniel. editor. (orcid)0000-0002-7977-3246 Carminati, Michele. editor. (orcid)0000-0001-8284-6074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97620-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part II
Detection of Intrusions and Malware, and Vulnerability Assessment 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part II
Author 
Egele, Manuel. editor. (orcid)0000-0001-5038-2682 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 Gruss, Daniel. editor. (orcid)0000-0002-7977-3246 Carminati, Michele. editor. (orcid)0000-0001-8284-6074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97623-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets