Public Evidence from Secret Ballots Matthew Bernhard/ Josh Benaloh† J. Alex Halderman/ Ronald L. Rivest Peter Y. A. Ryan◦ Philip B. Stark‡ Vanessa Teague. Poorvi L. Vora§ Dan S. Wallach? † Microsoft Research /

Source URL: mbernhard.com

• Voting
• Politics
• Elections
• Group decision-making
• Electronic voting
• Election technology
• Electoral fraud
• Voter-verified paper audit trail
• Scantegrity
• ThreeBallot
• Election audits
• Postal voting

Vectorizing Higher-Order Masking Benjamin Grégoire, Kostas Papagiannopoulos, Peter Schwabe, and Ko Stoffelen Motivation •

Source URL: ko.stoffelen.nl

Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric

Source URL: mosml.org

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Functional languages
• Data types
• Standard ML
• Type theory
• Scope
• ML
• Variable
• Operator

Conceptual Framework for Legal & Risk Assessment of Blockchain Crypto Property (BCP) Dr. Luka Müller, Stephan D. Meyer, Christine Gschwend, Peter Henschel Genesis Version

Source URL: www.mme.ch

• Cryptocurrencies
• Economy
• Money
• Finance
• Counterparty
• Blockchain
• Bitcoin
• Tether
• Smart contract
• Ethereum
• Tokenization

1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia

Source URL: jorgenavas.github.io

• Mathematics
• Computer arithmetic
• Algebra
• Abstract algebra
• Abstract interpretation
• Interval arithmetic
• Two's complement
• Interval
• Signedness
• Logarithm
• Modular arithmetic
• Division by zero

Improving Web Privacy And Security with a Cost-Benefit Analysis of the Web API by Peter Snyder B.A., Lawrence University, 2006

Source URL: www.peteresnyder.com

• Software
• Computing
• Free software
• Web browsers
• Cross-platform software
• JavaScript
• Web programming
• Firefox
• Cross-site scripting
• Proxy server
• Trusted computing base
• Browser extension

HONG KONG INSTITUTE FOR MONETARY RESEARCH PUSHING ON A STRING: STATE-OWNED ENTERPRISES AND MONETARY POLICY TRANSMISSION IN CHINA Hongyi Chen, Ran Li and Peter Tillmann

Source URL: www.hkimr.org

• Economy
• Macroeconomics
• Money
• Monetary policy
• Monetary economics
• State-owned enterprise
• Macroeconomic policy
• Economy of China
• Central bank
• Money supply
• Nominal rigidity

The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell

Source URL: user.it.uu.se

• Computing
• Software engineering
• Concurrent computing
• Concurrency control
• C++
• Parallel computing
• Transaction processing
• Concurrency
• Linearizability
• C++11
• Thread
• POSIX Threads

WHITEPAPER Version 2.0 – Q1 2018 By Luke Shipley & Peter Brooke WHITEPAPER

Source URL: token.zinc.work

• Computing
• Digital media
• Chemistry
• Cryptocurrencies
• Recruitment
• LinkedIn
• Social media
• Zinc
• InterPlanetary File System
• Everipedia
• Switch
• Ethereum

Vectorizing Higher-Order Masking Benjamin Gr´egoire1 and Kostas Papagiannopoulos2 and Peter Schwabe2 and Ko Stoffelen2 1 2

Source URL: ko.stoffelen.nl

• Cryptography
• Computing
• Computer architecture
• Advanced Encryption Standard
• AES implementations
• ARM architecture
• Block cipher
• Bit array
• 64-bit computing
• Processor register