Information Security

Invited Paper.- Relaxed Lattice-Based Signatures with Short Zero-Knowledge Proofs.- Software Security.- Secure Code Execution: A Generic PUF-driven System Architecture.- Lumus: Dynamically Uncovering Evasive Android Applications.- ICUFuzzer: Fuzzing ICU Library for Exploitable Bugs in Multiple Software.- How Safe is Safety Number? A User Study on SIGNAL's Fingerprint and Safety Number Methods for Public Key Verification.- Symmetric Ciphers and Cryptanalysis.- Speeding up MILP Aided Differential Characteristic Search with Mastui's Strategy.- Automatic Search for Related-key Differential Trails in SIMON-like Block Ciphers Based on MILP.- Linear Cryptanalysis of Reduced-Round Speck with a Heuristic Approach: Automatic Search for Linear Trails.- Conditional Cube Searching and Applications on Trivium-Variant Ciphers.- Data Privacy and Anonymization.- Practical Attacks on Relational Databases Protected via Searchable Encryption.- A Simple Algorithm for Estimating Distribution Parameters from n-Dimensional Randomized Binary Responses.- Outsourcing and Assisted Computing.- Enforcing Access Control for the Cryptographic Cloud Service Invocation based on Virtual Machine Introspection.- Multi-Authority Fast Data Cloud-Outsourcing for Mobile Devices.- Hide The Modulus: A Secure Non-Interactive Fully Verifiable Delegation Scheme for Modular Exponentiations via CRT.- Offline Assisted Group Key Exchange.- Advanced Encryption.- Function-Dependent Commitments for Verifiable Multi-Party Computation.- On Constructing Pairing-free Identity-Based Encryptions.- Multi-Key Homomorphic Proxy Re-Encryption.- Verifiable Decryption for Fully Homomorphic Encryption.- Privacy-Preserving Applications.- Platform-independent Secure Blockchain-Based Voting System.- Privacy in Crowdsourcing: A Systematic Review.- Advanced Signatures.- Anonymous yet Traceable Strong Designated Verifier Signature.- Strongly Unforgeable Signature Resilient to Polynomially Hard-to-Invert Leakage under Standard