Cover Image

QR Code

Handbook of formal analysis and verification in cryptography

Other Authors:	Akleylek, Sedat, Dundua, Besik
Series:	Prospects in pure and applied mathematics
Subjects:	Computer systems -- > Verification Cryptography Mathematical analysis Electronic books
Online Access:	http://library.unisel.edu.my/web/guest/mylibrary

Similar Items

Information-theoretic cryptography
by: Tyagi, Himanshu

Algebraic curves in cryptography
by: Ling, San

Error-correction coding and decoding : bounds, codes, decoders, analysis and applications
by: Tomlinson, Martin
Published: (2017)

The art of error correcting coding
by: Morelos-Zaragoza, Robert H
Published: (2006)

The unicode cookbook for linguists : managing writing systems using orthography profiles
by: Moran, Steven
Published: (2018)

Codes, cryptology and curves with computer algebra
by: Pellikaan, R
Published: (2017)

Concise encyclopedia of coding theory

Coding theory : algorithms, architectures, and applications
by: Neubauer, Andre
Published: (2007)

Designs from linear codes
by: Ding, C. (Cunsheng)

Fundamentals of error-correcting codes
by: Huffman, W. Cary
Published: (2003)

Embedded system design : modeling, synthesis and verification
Published: (2009)

Cryptography made simple
by: Smart, Nigel P
Published: (2016)

An Introduction to discrete mathematics and formal system specification
by: Ince, D. C
Published: (1988)

Formal analysis of future energy systems using interactive theorem proving
by: Ahmed, Asad

Formal methods for control of nonlinear systems
by: Li, Yinan

Reliability verification, testing and analysis in engineering design
by: Wasserman, Gary S
Published: (2003)

Biometrics : identity verification in a networked world
by: Nanavati, Samir
Published: (2002)

Advances of DNA computing in cryptography

Introduction to modern cryptography
by: Katz, Jonathan

Computer security and cryptography
by: Konheim, Alan G
Published: (2007)

User's guide to cryptography and standards
by: Dent, Alexander W
Published: (2005)

Introduction to cryptography and network security
by: Forouzan, Behrouz A
Published: (2008)

Complex data analytics with formal concept analysis

Verilog digital system design : RT level synthesis, testbench and verification
by: Navabi, Zainalabedin
Published: (2006)

Cryptography and network security : principles and practice
by: Stallings, William
Published: (2003)

Cryptography and network security : principles and practice
by: Stallings, William
Published: (2011)

Cryptography and network security : principles and practice
by: Stallings, William

Cryptography and network security : principles and practice
by: Stallings, William

Discrete networked dynamic systems : analysis and performance
by: Mahmoud, Magdi S

Implementing SSL/TLS Using Cryptography and PKI
by: Davies, Joshua
Published: (2011)

Holistic approach to quantum cryptography in cyber security

Understanding cryptography : a textbook for students and practitioners
by: Paar, Christof

Readings in formal epistemology : sourcebook

The Cambridge handbook of formal semantics

Handbook of global analysis
Published: (2008)

Cryptography apocalypse : preparing for the day when quantum computing breaks today's crypto
by: Grimes, Roger A

Dynamic systems : modeling and analysis
by: Vu, Hung V
Published: (1997)

Analysis for computer scientists : foundations, methods, and algorithms
by: Oberguggenberger, Michael

Modeling, analysis and control of dynamic systems
by: Palm, William J
Published: (2005)

Topological data analysis for genomics and evolution : topology in biology
by: Rabadan, Raul