-Invertible Cycles for Multivariate Quadratic (MQ) Public Key Cryptography Jintai Ding1, , Christopher Wolf2 , and Bo-Yin Yang3, 1 University of Cincinnati and Technische Universität Darmstadt

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• Finite fields
• Post-quantum cryptography
• Hidden Field Equations
• Unbalanced Oil and Vinegar
• Trapdoor function
• XTR
• QUAD
• Mutation
• Digital signature

Machine Learning @ Amazon Rajeev Rastogi Director, Machine Learning Key Takeaways •

Source URL: www.cikmconference.org

• Economy
• Statistical forecasting
• Supply chain management
• Business
• E-commerce
• Amazon
• Recommender system
• Online shopping
• Demand forecasting
• Forecasting

Public-Key Cryptography from New Multivariate Quadratic Assumptions Yun-Ju Huang1,3 , Feng-Hao Liu2 , and Bo-Yin Yang3 1 3

Source URL: precision.moscito.org

• Cryptography
• Post-quantum cryptography
• Multivariate cryptography
• Finite fields
• Lattice-based cryptography
• Hidden Field Equations
• Learning with errors
• QUAD
• RSA
• Reduction
• Computational hardness assumption
• Ideal lattice cryptography

ESS Token Utility and Functions There are a number of key functions that ESS will enable, with additional functionality added in as the Essentia project is developed further. This will occur on an incremental basis, with

Source URL: essentia.one

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Numismatics
• Distributed computing
• Kin
• Decentralized application
• Token coin
• Token

Voting with Their Feet: Inferring User Preferences from App Management Activities Huoran Li1 , Wei Ai2 , ‡ Xuanzhe Liu1 , Jian Tang3 , ‡ Gang Huang1 , Feng Feng4 , ‡ Qiaozhu Mei2 1 Key Lab of High-Confidence Softw

Source URL: gdac.uqam.ca

Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

Source URL: www.ieee-security.org

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• KeY
• Symbolic execution
• Thread
• LLVM
• Parallel computing
• D
• Concolic testing

1 Software Vulnerability Disclosure in Europe: Summary and Key Highlights of the European Parliament

Source URL: www.hackerone.com

• Computer security
• Security engineering
• Prevention
• Cyberwarfare
• Vulnerability
• Cryptography
• National security
• HackerOne
• Application security
• Bug bounty program
• General Data Protection Regulation
• Social vulnerability

Key Recovery Attack against 2.5-round π-Cipher Christina Boura1 , Avik Chakraborti2 , Ga¨etan Leurent3 , Goutam Paul2 , Dhiman Saha4 , Hadi Soleimany5,6 and Valentin Suder7 1 6

Source URL: who.rocq.inria.fr

• Cryptography
• Block cipher modes of operation
• Message authentication codes
• Galois/Counter Mode
• Cipher
• Cryptographic hash functions
• Block cipher
• Stream cipher

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

Source URL: web.cs.ucdavis.edu

• Mathematics
• Theoretical computer science
• Applied mathematics
• Logic in computer science
• Formal methods
• Computational neuroscience
• Artificial neural networks
• Proof assistants
• Entropy
• Coq
• N-gram
• Recurrent neural network