Limit Search Results
Author
SpringerLink (Online service)
(33)
Reyzin, Leonid. editor.
(10)
Stebila, Douglas. editor. (orcid)0000-0001-9443-3170
(10)
Peyrin, Thomas. editor.
(4)
Takagi, Tsuyoshi. editor.
(3)
Language
Publication Date
-
Subject
Information theory.
(27)
Coding and Information Theory.
(25)
Data encryption (Computer science).
(22)
Cryptography.
(19)
Cryptology.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
36 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Foundations of Computer Security
Foundations of Computer Security
Author 
Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-341-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Foundations of coding : compression, encryption, errorcorrection
Foundations of coding : compression, encryption, errorcorrection
Author 
Dumas, Jean-Guillaume. Roch, Jean-Louis (Mathematician) Tannier, Eric. Varrette, Sebastien.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Foundations and Applications of Sensor Management
Foundations and Applications of Sensor Management
Author 
Hero, Alfred O. editor. Castañón, David A. editor. Cochran, Douglas. editor. Kastella, Keith. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49819-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Foundations of Cryptography Volume 1. Basic Tools.
Foundations of Cryptography Volume 1. Basic Tools.
Author 
Goldreich, Oded.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems
Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems
Author 
Cheng, Wei. author. (orcid)0000-0001-9433-7576 Guilley, Sylvain. author. (orcid)0000-0002-5044-3534 Rioul, Olivier. author. (orcid)0000-0002-8681-8916 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64399-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Foundations and Practice of Security 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers
Foundations and Practice of Security 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers
Author 
Cuppens, Frédéric. editor. Wang, Lingyu. editor. (orcid)0000-0002-7441-7541 Cuppens-Boulahia, Nora. editor. Tawbi, Nadia. editor. Garcia-Alfaro, Joaquin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51966-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Foundations and Practice of Security 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers
Foundations and Practice of Security 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Kranakis, Evangelos. editor. Bonfante, Guillaume. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30303-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Foundations and Practice of Security 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers
Foundations and Practice of Security 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers
Author 
Danger, Jean Luc. editor. Debbabi, Mourad. editor. Marion, Jean-Yves. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Zincir Heywood, Nur. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05302-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Author 
Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8812-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Author 
Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03459-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Foundations of coding theory and applications of error-correcting codes, with an introduction to cryptography and information theory
Foundations of coding theory and applications of error-correcting codes, with an introduction to cryptography and information theory
Author 
Adámek, Jiří, ing. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/22660845.html
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Author 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Availability 
Online Library~1
Available:
Copies: