搜索结果: 1-15 共查到“军事学 Machine”相关记录49条 . 查询时间(0.093 秒)
A Machine-Checked Proof of Security for AWS Key Management Service
Provable-Security Machine-Checked Proof Key Management
2019/9/19
We present a machine-checked proof of security for the domain management protocol of Amazon Web Services' KMS (Key Management Service) a critical security service used throughout AWS and by AWS custom...
A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation
Secure Multi-Party Computation Verified Implementation High-Assurance Cryptography
2019/8/14
Secure Multi-Party Computation (MPC) enables a group of nn distrusting parties to jointly compute a function using private inputs. MPC guarantees correctness of computation and confidentiality of inpu...
Machine learning and side channel analysis in a CTF competition
key recovery deep learning machine learning
2019/7/25
Machine learning is nowadays supplanting or extending human expertise in many domains ranging from board games to text translation. Correspondingly, the use of such tools is also on the rise in comput...
Breaking the Lightweight Secure PUF: Understanding the Relation of Input Transformations and Machine Learning Resistance
Physically Unclonable Function Machine Learning Modelling Attack
2019/7/15
Physical Unclonable Functions (PUFs) and, in particular, XOR Arbiter PUFs have gained much research interest as an authentication mechanism for embedded systems. One of the biggest problems of (strong...
New Primitives for Actively-Secure MPC over Rings with Applications to Private Machine Learning
MPC Decision Trees SVM
2019/6/3
At CRYPTO 2018 Cramer et al. presented SPDZ2k, a new secret-sharing based protocol for actively secure multi-party computation against a dishonest majority, that works over rings instead of fields. Th...
Bias-variance Decomposition in Machine Learning-based Side-channel Analysis
Side-channel analysis Machine learning Deep learning
2019/5/28
Machine learning techniques represent a powerful option in profiling side-channel analysis. Still, there are many settings where their performance is far from expected. In such occasions, it is very i...
One trace is all it takes: Machine Learning-based Side-channel Attack on EdDSA
Side-channel attacks EdDSA Machine learning
2019/4/10
Profiling attacks, especially those based on machine learning proved as very successful techniques in recent years when considering side-channel analysis of block ciphers implementations. At the same ...
Make Some ROOM for the Zeros: Data Sparsity in Secure Distributed Machine Learning
secure computation machine learning
2019/3/13
Exploiting data sparsity is crucial for the scalability of many data analysis tasks. However, while there is an increasing interest in efficient secure computation protocols for distributed machine le...
CodedPrivateML: A Fast and Privacy-Preserving Framework for Distributed Machine Learning
privacy-preserving machine learning information-theoretic privacy
2019/2/26
How to train a machine learning model while keeping the data private and secure? We present CodedPrivateML, a fast and scalable approach to this critical problem. CodedPrivateML keeps both the data an...
Modeling Power Efficiency of S-boxes Using Machine Learning
Power Efficiency Optimal S-box Dynamic power
2019/2/26
In the era of lightweight cryptography, designing cryptographically good and power efficient 4x4 S-boxes is a challenging problem. While the optimal cryptographic properties are easy to determine, ver...
Secure and Effective Logic Locking for Machine Learning Applications
Logic Locking SAT Attack Machine Learning Applications
2019/1/9
Logic locking has been proposed as a strong protection of intellectual property (IP) against security threats in the IC supply chain especially when the fabrication facility is untrusted. Various tech...
The Machine Beneath: Implications of Artificial Intelligence in Strategic Decisionmaking
Machine Beneath Artificial Intelligence Strategic Decisionmaking Ambitions for Military Use of AI
2019/10/11
On the morning of May 17, 2024 U.S. and Chinese leaders authorized a limited nuclear exchange in the western Pacific. No one, including those who made the decision, is completely sure what caused the ...
Conditionals in Homomorphic Encryption and Machine Learning Applications
Homomorphic encryption conditionals clashes with fundamental encryption requirements
2018/11/2
Homomorphic encryption has the purpose to allow computations on encrypted data, without the need for decryption other than that of the final result. This could provide an elegant solution to the probl...
The Curse of Class Imbalance and Conflicting Metrics with Machine Learning for Side-channel Evaluations
Profiled side-channel attacks Imbalanced datasets Synthetic examples
2018/5/28
We concentrate on machine learning techniques used for profiled side-channel analysis when having imbalanced data. Such scenarios are realistic and often occurring, for instance in the Hamming weight ...
Unsupervised Machine Learning on Encrypted Data
Machine Learning Clustering Fully Homomorphic Encryption
2018/5/11
In the context of Fully Homomorphic Encryption, which allows computations on encrypted data, Machine Learning has been one of the most popular applications in the recent past. All of these works, howe...