Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract

Source URL: www.kestrel.edu

• Abstract algebra
• Algebra
• Mathematics
• Category theory
• Functors
• Morphism
• Category
• Sheaf
• Limit
• Pushout
• Cone
• Diagram

Full version of an extended abstract published in ACM CCSTransparency Overlays and Applications Melissa Chase Microsoft Research Redmond

Source URL: smeiklej.com

• Cryptography
• Public key infrastructure
• Transport Layer Security
• Cryptocurrencies
• Bitcoin
• Alternative currencies
• Certificate Transparency
• Peer-to-peer
• Certificate authority

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Source URL: unsat.cs.washington.edu

• Computer architecture
• System software
• Disk file systems
• Data management
• Inode
• File system
• Journaling file system
• Log-structured File System
• Ext3
• Mkfs
• Refinement
• Ext4

Call Arity Joachim Breitner Karlsruhe Institute of Technology Abstract

Source URL: www.joachim-breitner.de

A NOTION OF GEOMETRIC COMPLEXITY AND ITS APPLICATION TO TOPOLOGICAL RIGIDITY ERIK GUENTNER, ROMAIN TESSERA, AND GUOLIANG YU Abstract. We introduce a geometric invariant, called finite decomposition complexity (FDC), to s

Source URL: www.normalesup.org

• Mathematics
• Geometry
• Algebra
• Geometric group theory
• Topological groups
• Topology
• Field theory
• Metric geometry
• Amenable group
• Kazhdan's property
• Valuation
• Von Neumann algebra

Community Draft Version 0.9.2 ​-​ Subject to Change ​-​ ​Join us in Riot​ to suggest changes  Space Decentral: A Decentralized Autonomous Space Agency Abstract Space exploration has captivated humanity for

Source URL: spacedecentral.net

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Ethereum
• Economy
• Distributed computing
• Cross-platform software
• Decentralization
• Decentralized application
• The DAO
• Crowdfunding
• Space exploration

Hybrid Approximate Gradient and Stochastic Descent for Falsification of Nonlinear Systems Shakiba Yaghoubi and Georgios Fainekos Abstract— Studying transient properties of nonlinear systems is an important problem for

Source URL: www.public.asu.edu

• Applied mathematics
• Electrical engineering
• Epistemology
• Control engineering
• Control theory
• Cybernetics
• Global optimization
• Falsifiability
• Linear time-invariant system
• PROPT
• Conjugate gradient method

Full version of an extended abstract published in Proceedings of PKC 2013, Springer-Verlag, 2013. Available from the IACR Cryptology ePrint Archive as ReportVerifiable Elections That Scale for Free Melissa Cha

Source URL: smeiklej.com

• Cryptography
• E-commerce
• RSA
• Public-key cryptography
• Cryptosystem

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

Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK Abstract. This paper discusses how the existing static analyses developed for

Source URL: www.cs.man.ac.uk

• Program analysis
• Typestate analysis
• Mathematical logic
• Logic
• Mathematics
• Runtime verification
• Quantifier
• Type system
• Sheaf