Koc, Cetin K.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings /
by:
Gathen, Joachim von zur.; Imana, Jose L.; Koc, Cetin K.; SpringerLink (Online service); WAIFI 2008 ((2008 :)
(Language materials, printed)
Cryptographic hardware and embedded systems - CHES 2001 = third international workshop, Paris, France, May 14-16, 2001 : proceedings /
by:
Koc, Cetin K.; Paar, Christof.; SpringerLink (Online service); CHES 2001 ((2001 :); Naccache, David.
(Language materials, printed)
25 Years of Model Checking = History, Achievements, Perspectives /
by:
Gathen, Joachim von zur.; Imana, Jose L.; Koc, Cetin K.; SpringerLink (Online service)
(Language materials, printed)
Cryptographic hardware and embedded systems = First International Workshop, CHES '99, Worcester, MA, USA, August 1999 : proceedings /
by:
Koc, Cetin K.; Paar, Christof.; SpringerLink (Online service); CHES '99 ((1999 :)
(Language materials, printed)
Cryptographic hardware and embedded systems - CHES 2000 = second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings /
by:
Koc, Cetin K.; Paar, Christof.; SpringerLink (Online service); CHES 2000 (2000 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Mappings (Mathematics)- Congresses.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Cryptography
Curves, Algebraic- Congresses.
Algorithms.
Programming Languages, Compilers, Interpreters.
Coding and Information Theory.
Finite fields (Algebra)
Data Encryption.
Computer security
Embedded computer systems.
Embedded computer systems
Computer Science.
Discrete Mathematics in Computer Science.
Computer systems- Verification.
Symbolic and Algebraic Manipulation.