From

Results: 523795



#Item
1Cryptography / Public-key cryptography / Commitment scheme / Secret sharing / Computational hardness assumption / Digital signature / Entropy / XTR

Efficient String-Commitment from Weak Bit-Commitment Kai-Min Chung1, , Feng-Hao Liu2, , Chi-Jen Lu3 , and Bo-Yin Yang3 1 2

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:37
2Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / NP-complete problems / Electronic design automation / Formal methods / Constraint programming / Satisfiability modulo theories / Boolean satisfiability problem / Solver / Automated reasoning

Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-21 06:41:07
3Cryptography / Exponentials / Cross-platform software / Cryptographic software / GNU Privacy Guard / OpenPGP / Privacy software / RSA / Exponentiation by squaring / Modular exponentiation / ElGamal encryption / Chosen-ciphertext attack

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

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2017-08-28 18:24:31
4Algebra / Abstract algebra / Mathematics / Cohomology theories / Differential forms / Algebraic geometry / Algebraic topology / Sheaf / Divisor / De Rham cohomology / Ring / Proj construction

SKELETONS AND MODULI OF STOKES TORSORS by Jean-Baptiste Teyssier Abstract. — We prove an analogue for Stokes torsors of Deligne’s skeleton conjecture and deduce from it the representability of the functor of relative

Add to Reading List

Source URL: jbteyssier.com

Language: English - Date: 2017-01-10 07:03:57
5Cryptography / Computer security / Computer hardware / Cyberwarfare / ISO standards / Hardware Trojan / Hardware security module / Secure cryptoprocessor / Hardware security / Trusted Platform Module / Smart card

Cryptographic Hardware (named Myst) that enables cryptographic devices to maintain their security properties in the from presence of malicious hardware components. UnUntrusted Components like prior mitigation efforts tha

Add to Reading List

Source URL: backdoortolerance.org

Language: English - Date: 2018-03-13 07:04:44
6Cryptography / Transport Layer Security / Secure communication / E-commerce / Cryptographic protocols / Internet security / HTTPS / POODLE / Cipher suite / RC4 / Public key certificate / Certificate authority

Poster: Browser’s ”search form” issues and countermeasures Yuji Suga Internet Initiative Japan Inc., Iidabashi Grand Bloom, Fujimi, Chiyoda-ku, , Japan Abstract—From 2014, we are con

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-04-15 11:54:40
7Emergency management / Risk management / Prevention / State of emergency / Emergency / Code of Virginia / Virginia Defense Force / Oklahoma Emergency Management Act / Florida Division of Emergency Management

Microsoft Word - EO 17 Declaration Of A State Of Emergency For The Commonwealth Of Virginia Due To Potential Impacts From Hurri

Add to Reading List

Source URL: www.governor.virginia.gov

Language: English - Date: 2018-09-10 15:44:59
8Economy / Finance / Banks / Nuisance call / Teletraffic / HSBC / The Hongkong and Shanghai Banking Corporation / Telephone call / HSBC Insurance

26 SeptemberImportant Notice Beware of Bogus Call 1. The Hongkong and Shanghai Banking Corporation Limited, Macau Branch would like to alert its customers on bogus communications that claim to be from HSBC. (e.g.

Add to Reading List

Source URL: www.hsbc.com.mo

Language: English - Date: 2017-09-27 23:17:30
9European Union / Science and technology in Europe / Economy of Europe / Competitiveness and Innovation Framework Programme / Framework Programmes for Research and Technological Development / Horizon / European Research Council / Draft:Collective Awareness Platforms for Sustainability and Social Innovation

CloudBroker GmbH, Heinrichstrasse 267, CH-8005 Zürich, Switzerland Press Release July 23rd, 2015 CloudBroker Platform from Switzerland

Add to Reading List

Source URL: www.cloudbroker.com

Language: English - Date: 2015-07-23 05:59:19
10Economy / Finance / Money / Stock market / Equity securities / Taxation in the United States / Corporate finance / Abbott Laboratories / Lake Bluff /  Illinois / AbbVie Inc. / Cost basis / Dividend

January 31, 2013 Re: Information for Canadian resident shareholders concerning the Canadian Income Tax Election on the spin-off of AbbVie Inc. from Abbott Laboratories

Add to Reading List

Source URL: dam.abbott.com

Language: English - Date: 2017-06-22 11:50:54
UPDATE