Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD[removed]Ricky W. Butler

Source URL: csrc.nist.gov

• Applied mathematics
• Formal verification
• Automated theorem proving
• Isabelle
• Formal specification
• Software development process
• KeY
• Model checking
• ACL2
• Formal methods
• Theoretical computer science
• Science

The TrustNo 1 Cryptoprocessor Concept Markus Kuhn — [removed] — [removed]Abstract: Cryptoprocessors feature an on-chip block cipher hardware between the cache and the bus interface. Code and data are decry

Source URL: www.cl.cam.ac.uk

• Computer architecture
• Secure cryptoprocessor
• CPU cache
• Memory management unit
• Software protection dongle
• Bus encryption
• X86 memory segmentation
• Interrupt handler
• Memory protection
• Computer hardware
• Computing
• Cryptography

Optimal ec-PIN Guessing Markus G. Kuhn Known: 12 offset digits from magnetic stripe: Offset 1: O1 = (O1,1 , O1,2 , O1,3 , O1,4 ) Offset 2: O2 = (O2,1 , O2,2 , O2,3 , O2,4 ) Offset 3: O3 = (O3,1 , O3,2 , O3,3 , O3,4 )

Source URL: www.cl.cam.ac.uk

• Modular arithmetic
• Error detection and correction
• Luhn algorithm

Kompressionsverfahren f¨ur Multimediadaten Markus Kuhn, Seminararbeit, IMMD IV, Universit¨at Erlangen-N¨urnberg, [removed]Multimediasysteme sind insbesondere dadurch gekennzeichnet, daß die zu behandelnden Informat

Source URL: www.cl.cam.ac.uk

IEEE TRANSACTIONS ON COMPUTERS, VOL. 47, NO. 10, OCTOBER[removed]Cipher Instruction Search Attack on the BusEncryption Security Microcontroller DS5002FP Markus G. Kuhn

Source URL: www3.informatik.uni-erlangen.de

• X86 instructions
• Central processing unit
• Machine code
• NOP
• Nothing
• CPU cache
• FIFO
• MOV
• Instruction set
• Computer architecture
• Computing
• Computer hardware

Virology[removed] – 518 www.elsevier.com/locate/yviro Heparin binding sites on Ross River virus revealed by electron cryo-microscopy Wei Zhang, Marintha Heil1, Richard J. Kuhn, Timothy S. Baker*,2

Source URL: cryoem.ucsd.edu

• Glycosaminoglycans
• Biochemistry
• Alphavirus
• Heparan sulfate
• Togaviridae
• Heparin
• Sindbis virus
• Ross River virus
• Orthomyxoviridae
• Togaviruses
• Biology
• Chemistry

A Bit Naming Convention for Cryptographic Algorithms Markus G. Kuhn? University of Cambridge, Computer Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, United Kingdom [removed]

Source URL: www.cl.cam.ac.uk

• Advanced Encryption Standard
• Computer memory
• Data transmission
• Endianness
• Metaphors
• Bit array
• X86
• Word
• PowerPC
• Computer architecture
• Computing
• Instruction set architectures

Vulnerabilities in Quantum Key Distribution Protocols D. Richard Kuhn [removed] National Institute of Standards and Technology Abstract. Recently proposed quantum key distribution protocols are shown to be vulnerable

Source URL: csrc.nist.gov

• Physics
• Qubit
• Bell state
• Quantum key distribution
• Quantum cryptography
• Greenberger–Horne–Zeilinger state
• Quantum teleportation
• Superdense coding
• Quantum information science
• Theoretical computer science
• Quantum mechanics

Emerging Standards Editors: Ramaswamy Chandramouli, [removed] Tim Grance, [removed] Rick Kuhn, [removed] Susan Landau, [removed]

Source URL: csrc.nist.gov

• Surveillance
• Electronic Product Code
• RFdump
• RFID testing
• Contactless smart card
• ISO 11784 & 11785
• Impinj
• CISC Semiconductor
• Radio-frequency identification
• Human–computer interaction
• Technology

Pseudo-Exhaustive Testing for Software D. Richard Kuhn and Vadim Okun National Institute of Standards and Technology Gaithersburg, MD[removed]removed]

Source URL: csrc.nist.gov

• Software development
• Model-based testing
• Orthogonal array testing
• Model checking
• Mutation testing
• Reliability engineering
• Test automation
• Unit testing
• Code coverage
• Software testing
• Statistics
• Software quality