GLOBAL iD (GiD) BACKGROUND Every person has a right, and a responsibility, to a secure, trusted, and private identity. The prevalence of electronic connections implies that we each must identify ourselves to prove our a

Source URL: www.globalid.net

• Identity management
• Computer access control
• Computer security
• Identity documents
• Identity
• Federated identity
• Privacy
• Personally identifiable information
• Digital identity
• Internet privacy
• Namespace
• Authentication

Best of Both Worlds in Secure Computation, with Low Communication Overhead

Source URL: web.eecs.umich.edu

• Cryptography
• Mathematics
• Theoretical computer science
• Computational complexity theory
• Secret sharing
• Quantum complexity theory
• Secure multi-party computation
• IP
• PP
• Polynomial
• Communication complexity
• Lagrange polynomial

Efficient, Constant-Round and Actively Secure MPC: Beyond the Three-Party Case

Source URL: acmccs.github.io

A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA

Source URL: rjoshi.org

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Formal methods
• Semantics
• Edsger W. Dijkstra
• Predicate transformer semantics
• First-order logic
• FO
• Quantifier
• Equality

DIMVA Dear Prospective Sponsor. Since 2004 and 2009 the annual international IT-Security conferences DIMVA (Detection of Intrusions and Malware & Vulnerability Assessment) and ESSOS (Engineering Secure Software and Syste

Source URL: itsec.cs.uni-bonn.de

• Sponsor
• Value-added tax
• TED
• Culture
• Terminology
• Human behavior

UNIVERSITY OF CALIFORNIA, SAN DIEGO Flexible Models for Secure Systems A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in

Source URL: smeiklej.com

• Cryptography
• Cryptocurrencies
• Alternative currencies
• Bitcoin
• Digital currencies
• Public-key cryptography
• Mihir Bellare
• SUF
• RSA

MODsense TM An integrated and secure temperature monitoring solution. Qualified for monitoring medicinal product distribution.

Source URL: modum.io

• Computing
• Computer architecture
• Technology
• Wireless networking
• Smartphones
• Bluetooth
• Bluetooth Low Energy
• Indoor positioning system
• Restriction of Hazardous Substances Directive
• Monitoring
• Android

CRYSTALS – Kyber: a CCA-secure module-lattice-based KEM Joppe Bos∗ , Léo Ducas† , Eike Kiltz‡ , Tancrède Lepoint§ , Vadim Lyubashevsky¶ , John M. Schanckk , Peter Schwabe∗∗ , Gregor Seiler†† , Damien

Source URL: cryptojedi.org

• Cryptography
• Post-quantum cryptography
• Ciphertext indistinguishability
• Ring learning with errors
• Chosen-plaintext attack
• Learning with errors
• Advantage
• Lattice-based cryptography
• Chosen-ciphertext attack
• Digital signature
• Ideal lattice cryptography
• Semantic security

Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries

Source URL: acmccs.github.io

• Logic gates
• Cryptographic protocols
• Circuit complexity
• Theoretical computer science
• Complexity classes
• Garbled circuit
• Theory of computation
• Secure multi-party computation
• Multiplexer
• XOR gate
• OR gate
• NC

Secure Securitisations in Malta Securitisation transactions in Malta, that is the raising of capital through the transfer of assets and risk from the transferee (“Originator”) to special purpose vehicles (“SPVs”)

Source URL: mfia.org.mt

• Economy
• Money
• Finance
• Corporate finance
• Special-purpose entity
• Legal entities
• Offshore finance
• Economy of the Republic of Ireland
• Tax avoidance
• Securitization
• SPV
• Asset-backed security