General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses

Source URL: legal.itemis.com

• Itemis
• YAKINDU Statechart Tools
• Application software
• Software license

Stealing Keys from PCs by Radio: Cheap Electromagnetic Attacks on Windowed Exponentiation (extended version) Daniel Genkin Lev Pachmanov

Source URL: web.eecs.umich.edu

• Cryptography
• Exponentials
• Cross-platform software
• Cryptographic software
• GNU Privacy Guard
• OpenPGP
• Privacy software
• RSA
• Exponentiation by squaring
• Modular exponentiation
• ElGamal encryption
• Chosen-ciphertext attack

Microsoft Word - Ansiedlungseffekte - Schlussbericht Finale Version 9. Juli 2012

Source URL: www.seco.admin.ch

Bitcoin: A Peer-to-Peer Electronic Cash System Satoshi Nakamoto www.bitcoin.org Abstract. A purely peer-to-peer version of electronic cash would allow online

Source URL: www.bitcoincash.org

• Cryptocurrencies
• Bitcoin
• Digital currencies
• Cryptographic hash functions
• Error detection and correction
• Computing
• Information retrieval
• Information science
• Vic coin
• Bitcoin network
• Blockchain
• Merkle tree

The Mercury Library Reference Manual Version c 1995–1997,1999–2014 The University of Melbourne. Copyright Permission is granted to make and distribute verbatim copies of this manual provided the

Source URL: mercurylang.org

• Computing
• Software engineering
• Computer programming
• Programming languages
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Data types
• Array data structure
• Array data type
• Getopt
• Lua

Oktober / octobre / ottobre 2018 Version française ci-après / versione italiana di seguito Gerne informieren wir Sie über die folgenden Neuigkeiten aus dem Bereich der Beschaffungskonferenz des Bundes (BKB). Stand Rev

Source URL: www.bkb.admin.ch

Full version of an extended abstract published in AsiacryptD´ej`a Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions Melissa Chase Microsoft Research Redmond

Source URL: smeiklej.com

• Algebra
• Abstract algebra
• Lie groups
• Non-associative algebras
• XTR
• Mutation
• Spectral theory

Oktober / octobre / ottobre 2018 Version française ci-après / versione italiana di seguito Gerne informieren wir Sie über die folgenden Neuigkeiten aus dem Bereich der Beschaffungskonferenz des Bundes (BKB). Stand Rev

Source URL: www.bkb.admin.ch

The SMT-LIB Standard Version 2.6 Clark Barrett Pascal Fontaine Release:

Source URL: smtlib.cs.uiowa.edu

• Theoretical computer science
• Software engineering
• Computing
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• SMT
• Solver
• Pascal
• Semantics