Org

Results: 4040769



#Item
971Cryptography / Public-key cryptography / Homeomorphisms / Homomorphic encryption / Proxy re-encryption / Malleability / Message authentication code / Paillier cryptosystem / RSA / Digital signature

This is the full version of a paper which appears in Financial Cryptography and Data Security - 21st International Conference, FC 2017, Sliema, Malta, April, Revised Selected Papers, Springer, LNCS. Homomorphic

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2017-02-03 04:27:06
972Cryptocurrencies / Cryptography / Computing / Blockchains / Economy / Decentralization / Alternative currencies / Cryptographic protocols / Secure multi-party computation / Bitcoin / Digital signature / Ledger

Giving State to the Stateless: Augmenting Trustworthy Computation with Ledgers Gabriel Kaptchuk Johns Hopkins University

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2018-04-16 15:01:50
973Piscataway /  New Jersey / IEEE Spectrum / Institute of Electrical and Electronics Engineers / ZX Spectrum / Computing / Science and technology in the United States / IEEE Communications Society

2018 spectrum.ieee.org http://advertise.ieee.org/spectrum IEEE Spectrum —

Add to Reading List

Source URL: advertise.ieee.org

Language: English - Date: 2018-04-12 16:04:33
974Catania / Sicilian Baroque / Lunch / Sicily

BILATERAL EXCHANGE ITALIAN (FICLU) AND RUMANIAN (FRACCU) FEDERATION OF CLUBS AND CENTRES FOR UNESCO ACTIVITY 2016 VIII INTERNATIONAL CONFERENCE “YOUTH AND MUSEUMS” Sicily, Italy

Add to Reading List

Source URL: efuca-unesco.org

Language: English - Date: 2016-02-25 12:34:02
975Legal Services Corporation / Legal aid / Best practice / Big data / Business / Evaluation / Computing

TRACKING OUTCOMES: A Guide for Civil Legal Aid Providers & Funders June 20, 2018

Add to Reading List

Source URL: ncforaj.org

Language: English - Date: 2018-06-19 10:16:09
976Computer architecture / Computing / System software / C POSIX library / System calls / POSIX / Read / Open / File descriptor / Virtual file system / UBIFS / Close

Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-01-11 10:44:04
977Computer programming / Software engineering / Mathematical logic / Formal methods / Predicate logic / Opaque predicate / Computability theory / Predicate / Satisfiability modulo theories / Stack / Disassembler / FO

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes? Sébastien Bardin Robin David

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-04-03 15:56:28
978Natural environment / Environmental social science / Economic indicators / Waste minimisation / Human ecology / Ecological footprint / Sustainability / Water footprint / Biocapacity

Microsoft Word - ecofootprint pages right.doc

Add to Reading List

Source URL: www.radicalroutes.org.uk

Language: English - Date: 2017-02-28 18:06:11
979Software / Application software / Free software / GStreamer / Multimedia software / Multimedia framework / Sponsor / Free audio software

GStreamer Conference 2018 Summerhall | Edinburgh Scotland, UKOctoberSponsor Brief

Add to Reading List

Source URL: gstreamer.freedesktop.org

Language: English - Date: 2018-10-25 11:56:51
980

NET CONTROL STATION Training Manual Compiled by: Ann-Marie Ruder K8AMR August 2003 Formatted by: David Peterson KE4QDM Converted to pdf file by: John Ibbs KC8WSK

Add to Reading List

Source URL: clatsopauxcomm.org

Language: English - Date: 2018-08-16 12:49:37
    UPDATE