Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Encoding Cryptographic Functions to SAT Using Transalg System
An Extensible SAT-solver
Semantic Searchable Encryption Scheme based on Lattice in Quantum-era
Founding Cryptography on Oblivious Transfer --- Efficiently
Computing arbitrary functions of encrypted data
Cryptanalysis of Chosen Symmetric Homomorphic Schemes
A Chaos-Based Arithmetic Logic Unit and Implications for Obfuscation
The SIMON and SPECK Families of Lightweight Block Ciphers.
Genetic Algorithm for Cryptography: A Review
Automated Identification of Cryptographic Primitives in Binary Code with Data Flow Graph Isomorphism
Trapdoors for hard lattices and new cryptographic constructions
Optimized Search-and-Compute Circuits and Their Application to Query Evaluation on Encrypted Data
Practical Implementation of Rijndael S-Box Using Combinational Logic
Algorithmic tamper-proof (ATP) security: Theoretical foundations for security against hardware tampering
Parallel and Dynamic Searchable Symmetric Encryption
Enhanced AES cryptosystem by using genetic algorithm and neural network in S-box
A Survey on Fully Homomorphic Encryption: An Engineering Perspective
Binary Permutation Polynomial Inversion and Application to Obfuscation Techniques
Solving Cryptarithmetic Problems Using Parallel Genetic Algorithm
Improved upper bounds for 3-SAT
Fully Secure Functional Encryption: Attribute-Based Encryption and (Hierarchical) Inner Product Encryption
The NTNU-YZU System in the AESW Shared Task: Automated Evaluation of Scientific Writing Using a Convolutional Neural Network
Mining Databases and Data Streams with Query Languages and Rules
New Techniques that Improve MACE-style Finite Model Finding
TopicNets: Visual Analysis of Large Text Corpora with Topic Modeling
ClimbVis: Investigating In-situ Visualizations for Understanding Climbing Movements by Demonstration