Publications
In press
An Agile Approach to Validate a Formal Representation of the GDPR; ;
in New Frontiers in Artificial Intelligence (in press)
Case Study: Analysis and Mitigation of a Novel Sandbox-Evasion Technique; ;
in 3rd Central European Cybersecurity Conference (in press)
Quantifying information flow in interactive systemsin 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (in press)
Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme; ; ;
in Financial Cryptography and Data Security 2019. FC 2019: International Workshops, CIW, VOTING, and WTSC (in press)
What's in an Icon? Promises and Pitfalls of Data Protection Iconography;
in Leenes, Ronald; Hallinan, Dara; Gutwirth, Serge; de Hert, Paul (Eds.) Data Protection and Privacy: Data Protection and Democracy (in press)
2019
SC2Share: Smart Contract for Secure Car Sharing; ; ; ;
in International Conference on Information Systems Security and Privacy (ICISSP) (2019, January 24)
Sistemi Medici e Conformità Legale;
in Rivista Italiana di Medicina Legale: Dottrina, Casistica, Ricerca Sperimentale, Giurisprudenza e Legislazione (2019), XLI(1/2019), 225-242
An Agile Approach to Validate a Formal Representation of the GDPR; ;
in International Symposium on Artificial Intelligence (2019), 11717
UC Priced Oblivious Transfer with Purchase Statistics and Dynamic Pricing; ;
E-print/Working paper (2019)
Security – Visible, Yet Unseen? How Displaying Security Mechanisms Impacts User Experience and Perceived Security; ; ; ; ;
in Proceedings of ACM CHI Conference on Human Factors in Computing Systems (CHI2019) (2019, April)
NoCry: No More Secure Encryption Keys for Cryptographic Ransomware; ;
in 2nd International Workshop on Emerging Technologies for Authorization and Authentication (2019, September 27)
A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack; ; ;
in Information Systems Security and Privacy (2019, July)
On Deception-Based Protection Against Cryptographic Ransomware; ;
in 16th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (2019, June 19)
Non-interactive Zero Knowledge Proofs in the Random Oracle Model;
in Codes, Cryptology and Information Security (2019)
Modelling of Railways Signalling System Requirements by Controlled Natural Languages: A Case Study;
in From Software Engineering to Formal Methods and Tools, and Back (2019)
On the Relation Between SIM and IND-RoR Security Models for PAKEs with Forward Secrecy; ; ;
in E-Business and Telecommunications - 2019 (2019)
An offline dictionary attack against zkPAKE protocol; ; ;
in An offline dictionary attack against zkPAKE protocol (2019)
How to Assess the Usability Metrics of E-Voting Schemes; ; ; ;
in Lecture Notes in Computer Science (2019, February)
Together or Alone: The Price of Privacy in Collaborative Learinig; ;
in Proceedings on Privacy Enhancing Technologies (2019, July)
A conditional access system with revocation for mobile pay-TV systems revisitedin Information Processing Letters (2019), 147
UC Updatable Non-Hiding Committed Database with Efficient Zero-Knowledge ProofsE-print/Working paper (2019)
When Design Met Law: Design Patterns for Information Transparency; ; ;
in Droit de la Consommation (2019), (1),
Legal Design Patterns: Towards A New Language for Legal Information Design;
in Schweighofer, Erich; Kummer, Franz; Saarenpää, Ahti (Eds.) 22nd International Legal Infomatics Symposium IRIS 2019 (2019)
Proactive Legal Design: Embedding Values in the Design of Legal Artefacts;
in Schweighofer, Erich; Kummer, Franz; Saarenpää, Ahti (Eds.) International Legal Infomatics Symposium IRIS 2019 (2019)
DaPIS: an Ontology-Based Data Protection Icon Set;
in Peruginelli, Ginevra; Faro, Sebastiano (Eds.) Knowledge of the Law in the Big Data Age (2019)
Detecting misalignments between system security and user perceptions: a preliminary socio-technical analysis of an E2E email encryption system; ;
in 4th European Workshop on Usable Security - 2019 IEEE European Symposium on Security and Privacy Workshops (2019)
Towards Systematic Specification of Non-Functional Requirements for Sharing Economy Services; ; ;
in Abstract book of International Workshop on Smart Circular Economy, IEEE (2019)
A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email;
in Emerging Technologies for Authorization and Authentication (2019)
User Experience Design for E-Voting: How mental models align with security mechanisms; ; ; ; ;
in Electronic Voting (2019, October)
2018
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions; ; ; ; ; ;
E-print/Working paper (2018)
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics; ; ;
E-print/Working paper (2018)
Revisiting Deniability in Quantum Key Exchange via Covert Communication and Entanglement Distillation; ; ;
in Secure IT Systems, 23rd Nordic Conference, NordSec 2018. Lecture Notes in Computer Science, vol 11252. Springer, Cham (2018, November 02)
Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker; ;
in Computer Security (2018)
An Interdisciplinary Methodology to Validate Formal Representations of Legal Text Applied to the GDPR; ;
Scientific Conference (2018, November 12)
Next Generation Cryptographic Ransomware; ;
in Secure IT Systems: 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings (2018)
No Random, No Ransom: A Key to Stop Cryptographic Ransomware; ;
in Giuffrida, Cristiano; Bardin, Sébastien; Blanc, Gregory (Eds.) Proceedings of the 15th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA 2018) (2018)
Security Analysis of Key Acquiring Strategies Used by Cryptographic Ransomware; ;
in Advances in Cybersecurity 2018 (2018)
A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System; ; ;
in Proceedings of the 4th International Conference on Information Systems Security and Privacy (2018)
A Family of Lightweight Twisted Edwards Curves for the Internet of Things; ;
in Blazy, Olivier; Yeun, Chan Y. (Eds.) Information Security Theory and Practice, 12th IFIP WG 11.2 International Conference, WISTP 2018, Brussels, Belgium, December 10-11, 2018, Proceedings (2018, December)
Securing Edge Devices in the Post-Quantum Internet of Things Using Lattice-Based Cryptography; ;
in IEEE Communications Magazine (2018), 56(2), 158-162
Forward Secrecy for SPAKE2; ;
in Baek, Joonsang; Willy, Susilo (Eds.) Provable Security (2018, October 25)
Composable, Unconditionally Secure Message Authentication without any Secret KeyE-print/Working paper (2018)
Entanglement of Approximate Quantum Strategies in XOR Games;
in Quantum Information and Computation (2018), 18(7&8), 06170631
Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability; ;
E-print/Working paper (2018)
Cholesteric Liquid Crystal Shells as Enabling Material for Information-Rich Design and Architecture.; ; ; ; ;
in Advanced Materials (2018)
Collateral damage of Facebook third-party applications: a comprehensive study; ; ; ; ;
in Computers & Security (2018), 77
Experience report: How to extract security protocols’ specifications from C libraries;
in 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), Volume 2 (2018, June)
A Protocol to Strengthen Password-Based Authentication; ;
in Emerging Technologies for Authorization and Authentication (2018, November)
Privacy-preserving Recommender Systems Facilitated By The Machine Learning ApproachDoctoral thesis (2018)
Facilitating Privacy-preserving Recommendation-as-a-Service with Machine Learning; ; ;
Poster (2018, October)
2017
A Scalable Parallel Cooperative Coevolutionary PSO Algorithm for Multi-objective Optimization; ; ;
in Journal of Parallel & Distributed Computing (2017)
Private Verification of Access on Medical Data: An Initial Study; ;
in Private Verification of Access on Medical Data: An Initial Study (2017, September)
Towards legal compliance by correlating Standards and Laws with a semi-automated methodology; ; ;
in Bosse, Tibor; Bredeweg, Bert (Eds.) Communications in Computer and Information Science (2017)
Private Mobile Pay-TV From Priced Oblivious Transfer; ; ; ;
in IEEE Transactions on Information Forensics & Security (2017)
Controlled Homomorphic Encryption: Definition and Construction; ; ;
in FC 2017 International Workshops - WAHC'17 - 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography (2017)
Examination of a New Defense Mechanism: Honeywords; ;
in Proceedings of the 11th WISTP International Conference on Information Security Theory and Practice (2017)
The Cipher, the Random and the Ransom: A Survey on Current and Future Ransomware; ;
in Advances in Cybersecurity 2017 (2017)
Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol; ;
in Giustolisi, Rosario; Iovino, Vincenzo; Lenzini, Gabriele (Eds.) Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol (2017)
From Situation Awareness to Action: An Information Security Management Toolkit for Socio-Technical Security Retrospective and Prospective Analysis;
in Proceedings of the 3rd International Conference on Information Systems Security and Privacy (2017)
Using Selene to Verify your Vote in JCJ; ; ;
in Workshop on Advances in Secure Electronic Voting (VOTING'17) (2017, April 07)
On the power of Public-key Function-Private Functional Encryption; ;
in IET Information Security (2017)
Security attacks and enhancements to chaotic map-based RFID authentication protocols;
in Wireless Personal Communications (2017)
Security in the Shell : An Optical Physical Unclonable Function made of Shells of Cholesteric Liquid Crystals; ; ; ; ; ;
in Proc. of the 9th IEEE Workshop on Information Forensics and Security (2017, October 02)
Elliptic Curve Cryptography with Efficiently Computable Endomorphisms and Its Hardware Implementations for the Internet of Things; ; ; ; ;
in IEEE Transactions on Computers (2017), 66(5), 773-785
Multiprecision Multiplication on ARMv8; ; ;
in IEEE 24th Symposium on Computer Arithmetic - ARITH24 (2017, August 01)
FourQ on Embedded Devices with Strong Countermeasures Against Side-Channel Attacks; ; ; ;
in Homma, Naofumi; Fischer, Wieland (Eds.) International Conference on Cryptographic Hardware and Embedded Systems - CHES2017 (2017, August 25)
On the Relation Between SIM and IND-RoR Security Models for PAKEs; ; ;
in Proceedings of the International Conference on Security and Cryptography (2017)
Exploring Effect of Location Number on Map-Based Graphical Password Authentication; ; ;
in 22nd Australasian Conference on Information Security and Privacy - ACISP2017 (2017, July 03)
Evaluating the Impact of Juice Filming Charging Attack in Practical Environments; ; ; ;
in The 20th Annual International Conference on Information Security and Cryptology - ICISC2017 (2017, December 01)
To Cheat or Not to Cheat - A Game-Theoretic Analysis of Outsourced Computation Verification;
in Fifth ACM International Workshop on Security in Cloud Computing, Abu Dhabi 2 April 2017 (2017, April 02)
Modelling Metrics for Transparency in Medical Systems; ;
in Proceedings of TrustBus 2017 (2017, July)
Issuer-Free Oblivious Transfer with Access Control Revisitedin Information Processing Letters (2017)
Secure Number Theoretic Transform and Speed Record for Ring-LWE Encryption on Embedded Processors; ; ; ; ;
in The 20th Annual International Conference on Information Security and Cryptology - ICISC2017 (2017, December 30)
On Composability and Security of Game-based Password-Authenticated Key ExchangeDoctoral thesis (2017)
SePCAR: A Secure and Privacy-Enhancing Protocol for Car Access Provision; ; ; ; ; ; ; ;
in Symeonidis, Iraklis (Ed.) Computer Security -- ESORICS 2017 (2017)
Differentially Private Neighborhood-based Recommender Systems;
in IFIP Information Security & Privacy Conference (2017, May)
Fast Discretized Gaussian Sampling and Post-quantum TLS Ciphersuite; ; ; ; ;
in The 13th International Conference on Information Security Practice and Experience - ISPEC 2017 (2017, December 01)
Insider Threats to Information Security, Digital Espionage, and Counter-Intelligence; ;
in IEEE Systems Journal (2017), 11(2),
Hidden-Token Searchable Public-Key Encryption; ; ; ;
in The 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications - IEEE TrustCom-17 (2017, August)
2016
Updatable Functional Encryption; ;
in Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology (2016, December)
A Parallel Cooperative Coevolutionary SMPSO Algorithm for Multi-objective Optimization; ; ;
in IEEE International Conference on High Performance Computing Simulation (HPCS) (2016, July)
Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4;
in Proceedings of the 25th EACSL Annual Conference on Computer Science Logic (2016)
A Framework to Reason about the Legal Compliance of Security Standards; ; ;
in Proceedings of the Tenth International Workshop on Juris-informatics (JURISIN) (2016, November)
Towards legal compliance by correlating Standards and Laws with a semi-automated methodology; ;
in Proceedings of the 28 Benelux Conference on Artificial Intelligence (BNAIC) (2016, November)
UC Commitments for Modular Protocol Design and Applications to Revocation and Attribute Tokens; ;
in Advances in Cryptology – CRYPTO 2016 (2016, August 14)
Financial Cryptography and Data Security - FC 2016 International Workshops, BITCOIN, VOTING, and WAHC; ; ; ; ;
Book published by Springer (2016)
On the Power of Rewinding Simulators in Functional Encryption;
in Designs, Codes and Cryptography (2016)
Deniable Functional Encryption; ;
in Public-key Cryptography - PKC 2016, 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I (2016)
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation; ;
in Dunkelman, Orr; Sanadhya, Somitra Kumar (Eds.) Progress in Cryptology -- INDOCRYPT 2016: 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings (2016)
Updatable Functional Encryption; ;
in Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology, Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers (2016)
Security Analysis of the Drone Communication Protocol: Fuzzing the MAVLink protocol; ;
E-print/Working paper (2016)
Comparing and Integrating Break-the-Glass and Delegation in Role-based Access Control for Healthcare;
in Proc. of the nd Int. Conference on International Conference in Information Systems Security and Privacy (ICISSP) (2016)
Implementation of a Leakage-Resilient ElGamal Key Encapsulation Mechanism; ; ; ;
in Journal of Cryptographic Engineering (2016), 6(3), 229-238
(Universal) Unconditional Verifiability in E-Voting without Trusted Parties; ; ;
E-print/Working paper (2016)
High-fidelity spherical cholesteric liquid crystal Bragg reflectors generating unclonable patterns for secure authentication; ; ; ; ;
in Scientific Reports (2016), 6(26840), 1-8
On the Possibility of Non-Interactive E-Voting in the Public-key Setting; ;
in Financial Cryptography and Data Security, FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers (2016)
Real-World Electronic Voting: Design, Analysis and Deployment;
Book published by Auerbach Publications (2016)
On the power of Public-key Function-Private Functional Encryption; ;
in 15th International Conference on Cryptology and Network Security (2016)
Information Security as Strategic (In)effectivity;
in 12th International Workshop on Security and Trust Management (STM), 2016. (2016)
Preventing Coercion in E-Voting: Be Open and Commit;
in Proceedings of the 12th International Joint Conference on Electronic Voting (E-Vote-ID) (2016)
On Password-Authenticated Key Exchange Security Modelingin Stajano, Frank; Mjolsnes, Stig; Jenkinson, Graeme; Thorsheim, Per (Eds.) Technology and practice of passwords: 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings (2016, March)
Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems; ;
in Barthe, Gilles; Markatos, Evangelos (Eds.) Security and Trust Management - STM 2016 (2016)
Energy-Efficient Elliptic Curve Cryptography for MSP430-Based Wireless Sensor Nodes; ; ;
in Liu, Joseph K.; Steinfeld, Ron (Eds.) Information Security and Privacy - 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I (2016, July)
Efficient Implementation of NIST-Compliant Elliptic Curve Cryptography for 8-bit AVR-Based Sensor Nodes; ; ;
in IEEE Transactions on Information Forensics and Security (2016), 11(7), 1385-1397
Game-Theoretic Framework for Integrity Verification in Computation Outsourcing;
Poster (2016, November 03)
Protect both Integrity and Confidentiality in Outsourcing Collaborative Filtering Computations; ;
Scientific Conference (2016, June 27)
Attribute-Based Signatures with Controllable Linkability; ; ;
in Yung, Moti; Zhang, Jianbiao; Yang, Zhen (Eds.) Trusted Systems: 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers (2016, March)
Patient-Centred Transparency Requirements for Medical Data Sharing Systems;
in Proceedings of the 4th World Conference on Information Systems and Technologies (2016)
On the Insecurity of a Method for Providing Secure and Private Fine-Grained Access to Outsourced Datain Abstract book of 2016 IEEE 8th International Conference on Cloud Computing Technology and Science (CloudCom) (2016, December)
Privacy-preserving smart metering revisited; ;
in International Journal of Information Security (2016)
Crypto Santain The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday (2016)
The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday; ;
Book published by Springer (2016)
Selene: Voting with Transparent Verifiability and Coercion-Mitigation; ;
in Abstract book of 1st Workshop on Advances in Secure Electronic Voting (2016), 2015
Efficient Arithmetic on ARM-NEON and Its Application for High-Speed RSA Implementation; ; ;
in Security and Communication Networks (2016), 9(18), 5401-5411
Keyless car sharing system: A security and privacy analysis; ;
in Symeonidis, Iraklis (Ed.) IEEE International Smart Cities Conference, ISC2 2016, Trento Italy, September 12-15, 2016 (2016)
Collateral Damage of Facebook Apps: Friends, Providers, and Privacy Interdependence; ; ; ;
in Symeonidis, Iraklis (Ed.) ICT Systems Security and Privacy Protection (2016)
Collateral Damage of Online Social Network Applications; ;
in Symeonidis, Iraklis (Ed.) Proceedings of the 2nd International Conference on Information Systems Security and Privacy, ICISSP 2016, Rome, Italy, February 19-21 2016. (2016)
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt; ;
in The International Workshop on AI for Privacy and Security (PrAISe), 2016. (2016)
Privacy-preserving Friendship-based Recommender Systems;
in IEEE Transactions on Dependable and Secure Computing (2016, November)
Is a visuo-haptic differentiation of zebra mussel and quagga mussel based on a single external morphometric shell character possible?; ; ; ; ;
in Aquatic Invasions (2016)
A Probabilistic View of Neighborhood-based Recommendation Methods;
in ICDM 2016 - IEEE International Conference on Data Mining series (ICDM) workshop CLOUDMINE (2016, December 12)
2015
A Literature Survey and Classifications on Data Deanonymisation; ; ; ;
in Symeonidis, Iraklis (Ed.) Risks and Security of Internet and Systems - 10th International Conference CRiSIS 2015, Mytilene, Lesbos Island, Greece, July 20-22, 2015, Revised Selected Papers (2015)
Information Leakage due to Revealing Randomly Selected Bits; ;
in Security Protocols XXIII: Lecture Notes in Computer Science, Volume 9379, 2015 (2015, November 25)
Service security and privacy as a socio-technical problem; ;
in JOURNAL OF COMPUTER SECURITY (2015), 23(5), 563-585
A Secure Exam Protocol Without Trusted Parties; ; ;
in ICT Systems Security and Privacy Protection. 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015 (2015)
2015 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2015, Verona, Italy, July 13, 2015;
Scientific Conference (2015, July 13)
4.2 Social Dynamics Metrics-Working Group Report; ; ; ; ; ; ; ; ; ;
in Socio-Technical Security Metrics (2015)
Maybe Poor Johnny Really Cannot Encrypt - The Case for a Complexity Theory for Usable Security; ; ; ;
in Proc. of the New Security Paradigm Workshop (2015)
Maybe Poor Johnny Really Cannot Encrypt - The Case for a Complexity Theory for Usable Security; ; ; ;
in Maybe Poor Johnny Really Cannot Encrypt - The Case for a Complexity Theory for Usable Security (2015)
Key Recovery Attacks Against NTRU-Based Somewhat Homomorphic Encryption Schemes;
in Information Security - 18th International Conference, ISC 2015 (2015, September)
A Framework for Analyzing Verifiability in Traditional and Electronic Exams.; ; ; ;
in Information Security Practice and Experience 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015 (2015)
Formal Security Analysis of Traditional and Electronic Exams; ; ; ; ;
in Communications in Computer and Information Science (2015), 554
In Cyber-Space No One Can Hear You S·CREAM, A Root Cause Analysis for Socio-Technical Security; ; ;
in Foresti, Sara (Ed.) Security and Trust Management (2015)
Do graphical cues effectively inform users? A Socio-Technical Security Study in Accessing Wifi Networks; ; ; ;
in Proc. of the International Conference on Human Aspects of Information Security, Privacy, and Trust (2015, July 21)
Do graphical cues effectively inform users? A socio-technical security study in accessing wifi networks.; ; ; ;
in Lecture Notes in Computer Science (2015), 9190
An Analysis of Social Engineering Principles in Effective Phishing;
in Proc. of the 5th International Workshop on Socio-Technical Security and Trust (2015)
Principles of Persuasion in Social Engineering and Their Use in Phishing; ;
in T. Tryfonas, I. Askoxylakis (Ed.) Human Aspects of Information Security, Privacy, and Trust Third International Conference, HAS 2015 (2015)
On the Possibility of Non-Interactive E-Voting in the Public-key Setting; ;
in IACR Cryptology ePrint Archive (2015), 2015
Marginal deformations and the Higgs phenomenon in higher spin AdS3 holography;
in Journal of High Energy Physics [=JHEP] (2015), 7
Simulation-Based Secure Functional Encryption in the Random Oracle Model;
in Progress in Cryptology -- LATINCRYPT 2015 (2015)
VizBin - an application for reference-independent visualization and human-augmented binning of metagenomic data; ; ; ; ; ; ; ; ;
in Microbiome (2015)
Can Transparency Enhancing Tools support patient's accessing Electronic Health Records?;
in Advances in Intelligent Systems and Computing (2015)
Methods to Mitigate Risk of Composition Attack in Independent Data Publications; ; ; ; ;
in Medical Data Privacy Handbook 2015 (2015)
Efficient Implementation of ECDH Key Exchange for MSP430-Based Wireless Sensor Networks; ; ; ;
in Bao, Feng; Miller, Steven; Zhou, Jianying; Ahn, Gail-Joon (Eds.) ASIACCS'15: Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, April 14-17, 2015, Singapore (2015, April)
Efficient Ring-LWE Encryption on 8-bit AVR Processors; ; ; ; ;
in Güneysu, Tim; Handschuh, Helena (Eds.) Cryptographic Hardware and Embedded Systems - CHES 2015, 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings (2015, September)
Generating attacks in SysML activity diagrams by detecting attack surfaces;
in Journal of Ambient Intelligence and Humanized Computing (2015), 6(3), 361-373
Selene: Voting with Transparent Verifiability and Coercion-Mitigation; ;
in Abstract book of 1st Workshop on Advances in Secure Electronic Voting (2016), 2015
End-to-End Verifiability in Voting Systems, from Theory to Practice; ;
in IEEE SECURITY & PRIVACY (2015), 13(3), 59-62
On the Provable Security of the Dragonfly Protocol;
in Lopez, Javier; Mitchell, Chris J. (Eds.) Information Security - 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015 (2015, September)
Towards Forward Security Properties for PEKS and IBEin Information Security and Privacy - 20th Australasian Conference, ACISP 2015 (2015)
Extend the Concept of Public Key Encryption with Delegated Search; ;
in Computer Journal (2015), 58(4), 11
Privacy-Preserving Context-Aware Recommender Systems: Analysis and New Solutions;
in Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security (2015, September)
2014
Unitary W-algebras and three-dimensional higher spin gravities with spin one symmetry; ; ; ;
in Journal of High Energy Physics [=JHEP] (2014)
SPN2: Single-Sided Privacy Preserving Nearest Neighbor and its Application to Face Recognition;
in 11th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS'14) (2014)
A Socio-Technical Methodology for the Security and Privacy Analysis of Services; ; ;
in IEEE 38th Annual International Computers, Software and Applications Conference Workshops, 27–29 July 2014, Västerås, Sweden (2014)
Secure exams despite malicious management; ;
in Twelfth Annual International Conference on Privacy, Security and Trust (PST), Ryerson University, Toronto, July 23-24, 2014 (2014)
Proceedings of the 2014 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014;
Scientific Conference (2014)
Distributed Searchable Symmetric Encryption; ; ; ; ; ; ;
in PST2014 International Conference on Privacy, Security and Trust (2014)
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games;
in proceedings of Autonomous Agents and Multi-agent Systems (2014)
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games;
in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (2014)
New Algorithms for Secure Outsourcing of Modular Exponentiations; ; ; ;
in IEEE Trans. Parallel Distrib. Syst. (2014), 25(9), 2386-2396
Efficient Algorithms for Secure Outsourcing of Bilinear Pairings; ; ; ; ; ;
in Theoretical Computer Science (2014)
On Key Recovery Attacks against Existing Somewhat Homomorphic Encryption Schemes;
in Progress in Cryptology - LATINCRYPT 2014, Florianópolis 17-19 September 2014 (2014)
Higher spin AdS$_3$ holography with extended supersymmetry; ;
in Journal of High Energy Physics [=JHEP] (2014), 1410
High-Speed Elliptic Curve Cryptography on the NVIDIA GT200 Graphics Processing Unit; ; ;
in Huang, Xinyi; Zhou, Jianying (Eds.) Information Security Practice and Experience, 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings (2014, May)
Trapdoor Privacy in Asymmetric Searchable Encryption Schemes; ;
in Progress in Cryptology -- AFRICACRYPT 2014, Marrakesh 28-30 May 2014 (2014)
Formal Analysis of Electronic Exams; ; ; ; ;
in SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014 (2014)
A Conceptual Framework to Study Socio-Technical Security; ; ;
in Lecture Notes in Computer Science (2014)
Socio-technical Security Analysis of Wireless Hotspots; ; ;
in Lecture Notes in Computer Science (2014)
Envisioning secure and usable access control for patients; ; ; ;
in IEEE 3rd International Conference on Serious Games and Applications in Healthcare (2014, May)
Remark!: A Secure Protocol for Remote Exams; ;
in Security Protocols XXII - Lecture Notes in Computer Science (2014)
How to prove the validity of a complex ballot encryption to the voter and the publicin Journal of Information Security and Applications (2014)
A Probabilistic Framework for Security Scenarios with Dependent Actions; ;
in The 11th International Conference on Integrated Formal Methods (iFM'14), Bertinoro, Italy (2014)
What Public Keys Can Do for Three-Party, Password-Authenticated Key Exchangein Sokratis; Agudo, Isaac (Eds.) Public Key Infrastructures, Services and Applications: 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers (2014, September)
New Speed Records for Montgomery Modular Multiplication on 8-Bit AVR Microcontrollers;
in Pointcheval, David; Vergnaud, Damien (Eds.) Progress in Cryptology - AFRICACRYPT 2014, 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings (2014, May)
Reverse Product-Scanning Multiplication and Squaring on 8-bit AVR Processors; ; ;
in Hui, Lucas C. K.; Qing, Sihan; Shi, Elaine; Yiu, Siu-Ming (Eds.) Information and Communications Security - 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014. Proceedings (2014, December)
MoTE-ECC: Energy-Scalable Elliptic Curve Cryptography for Wireless Sensor Networks; ;
in Boureanu, Ioana; Owezarski, Philippe; Vaudenay, Serge (Eds.) Applied Cryptography and Network Security - 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings (2014, June)
Analysis of composite plates through cell-based smoothed finite element and 4-noded mixed interpolation of tensorial components techniques; ; ; ; ;
in Computers & Structures (2014), 135
DoubleMod and SingleMod: Simple Randomized Secret-Key Encryption with Bounded Homomorphicity; ; ; ; ;
in IACR Cryptology ePrint Archive (2014)
Montgomery Modular Multiplication on ARM-NEON Revisited; ; ; ;
in Kim, Jongsung; Lee, Jooyoung (Eds.) Information Security and Cryptology - ICISC 2014, 17th International Conference, Seoul, Korea, December 3-5, 2014, Revised Selected Papers (2014, December)
From Ephemerizer to Timed-Ephemerizer - Achieve Assured Lifecycle Enforcement for Sensitive Datain The Computer Journal (2014)
Nothing is for Free: Security in Searching Shared & Encrypted Datain IEEE Transactions on Information Forensics & Security (2014)
Protecting Elliptic Curve Cryptography Against Memory Disclosure Attacks; ; ;
in Shi, Elaine; Yiu, S.M. (Eds.) Information and Communications Security (2014, December)
2013
DEMO: Demonstrating a Trust Framework for Evaluating GNSS Signal Integrity; ; ; ; ;
in Proceedings of 20th ACM Conference on Computer and Communications Security (CCS'13) (2013, November)
A trust framework for evaluating GNSS signal integrity; ; ; ;
in Proceedings of 26th IEEE Computer Security Foundations Symposium (CSF'13) (2013)
Design and formal analysis of a group signature based electronic toll pricing system; ; ;
in Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (2013), 4(1), 55-75
Twisted Edwards-Form Elliptic Curve Cryptography for 8-bit AVR-based Sensor Nodes; ; ; ;
in Chen, Kefei; Xie, Qi; Qiu, Weidong; Xu, Shouhuai; Zhao, Yunlei (Eds.) Proceedings of the first ACM Workshop on Asia Public-Key Cryptography (ASIAPKC 2013) (2013, May)
N=1 supersymmetric higher spin holography on AdS3; ;
in Journal of High Energy Physics (2013), 2013(2),
Three point functions in higher spin AdS3 supergravity; ;
in Journal of High Energy Physics (2013), 2013(1),
Extended higher spin holography and Grassmannian models; ;
in Journal of High Energy Physics [=JHEP] (2013)
Higher spin AdS$_3$ supergravity and its CFT dual; ;
in International Journal of Modern Physics: Conference Series (2013)
Faster Print on Demand for Prêt à Voter; ; ; ; ;
in Journal of Election Technology and Systems (2013), 2(1),
On the Achievability of Simulation-Based Security for Functional Encryption; ; ; ; ;
in Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II (2013)
Log analysis of human computer interactions regarding Break The Glass accesses to genetic reportsScientific Conference (2013, July)
Studies in Socio-Technical Security Analysis: Authentication of Identities with TLS Certificates; ; ; ;
in IEEE TrustCom (2013)
Socio-Technical Study On the Effect of Trust and Context when Choosing WiFi Names; ; ; ;
in Lecture Notes in Computer Science (2013), 8203
What Security for Electronic Exams?; ;
in 8th International Conference onRisk and Security of Internet and Systems (CRiSIS), 2013 (2013)
Strategic games and truly playable effectivity functions; ;
in Autonomous Agents & Multi-Agent Systems (2013), 26(2), 288-314
Incentives and Rationality in Security of Interaction Protocols; ;
in PRIMA 2013: Principles and Practice of Multi-Agent Systems. Proceedings (2013)
Accumulative Knowledge Under Bounded Resources.;
in Computational Logic in Multi-Agent Systems (2013, September 16)
Proving Prêt à Voter Receipt Free Using Computational Security Models; ;
in USENIX Journal of Election Technology and Systems (2013), 1(1), 62-81
Password-based Authenticated Key Establishment Protocols; ; ;
in Computer And Information Security Handbook (2013)
Low-Weight Primes for Lightweight Elliptic Curve Cryptography on 8-bit AVR Processors; ;
in Lin, Dongdai; Xu, Shouhuai; Yung, Moti (Eds.) Information Security and Cryptology - 9th International Conference, INSCRYPT 2013, Guangzhou, China, November 27-30, 2013 (2013, November)
Efficient Implementation of NIST-Compliant Elliptic Curve Cryptography for Sensor Nodes; ; ;
in Qing, Sihan; Zhou, Jianying; Liu, Dongmei (Eds.) Information and Communications Security - 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings (2013, November)
Analysis of composite plates by a unified formulation-cell based smoothed finite element method and field consistent elements; ; ; ;
in Composite Structures (2013), 105
Verifiable postal voting; ;
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2013)
Enhancements to prepare-and-measure based QKD protocols;
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2013)
Prêt à Voter providing everlasting privacy; ; ; ;
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2013)
Caveat Coercitor: coercion-evidence in electronic voting; ; ;
in 2013 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP) (2013)
Generalized Information Theory for Hints; ;
in International Journal of Approximate Reasoning (2013), 54(1), 228-251
Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting; ; ; ; ;
in 53 USENIX Journal of Election Technology and Systems (JETS) (2013), 1(1), 53-61
Faster print on demand for Prêt à Voter; ; ; ; ;
in USENIX Journal of Election Technology and Systems (JETS) (2013), 2(1),
Multi-precision Squaring for Public-Key Cryptography on Embedded Microprocessors; ; ;
in The 14th International Conference on Cryptology in India -- INDOCRYPT 2013 (2013), 8250
Fixed-Base Comb with Window-Non-Adjacent Form (NAF) Method for Scalar Multiplication; ; ; ; ;
in Sensors (2013)
Search in Encrypted Data: Theoretical Models and Practical Applicationsin Theory and Practice of Cryptography Solutions for Secure Information Systems (2013)
Towards a privacy-preserving solution for OSNsin Sandhu, Ravi; Lopez, Javier; Huang, Xinyi (Eds.) Towards a privacy-preserving solution for OSNs (2013)
Towards asymmetric searchable encryption with message recovery and flexible search authorization;
in Proceeding of 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2013) (2013)
A Comprehensive Study of Multiple Deductions-based Algebraic Trace Driven Cache Attacks on AES; ; ; ; ; ;
in Computers & Security (2013), 39
2012
A Native Approach to Semantics and Inference in Fine-Grained Documents; ; ;
in Proceedings of the 2nd Joint International Semantic Technology Conference (JIST) (2012)
A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission; ; ; ; ; ; ; ; ;
in EVOTE 2012 (2012)
Implementation and Validation of a Localisation Assurance Service Provider; ; ; ; ;
in Proc. 6th ESA Workshop on Satellite Navigation Technologies (2012)
A group signature based electronic toll pricing system; ; ;
in Proc. 7th International Conference on Availability, Reliability and Security (2012)
Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems LAMAS'2012;
Book published by IFAAMAS (2012)
State and Path Effectivity Models for Logics of Multi-Player Games;
in Proceedings of AAMAS 2012 (2012)
LAMAS 2012 Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems;
Book published by IFAAMAS (2012)
A Fair and Robust Voting System by Broadcast; ; ;
in Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) (2012)
STAST 2012 Proc. of the 2nd Int. Workshop on Socio-Technical Aspects in Security and Trust;
Book published by IEEE (2012)
Foreword from the Programme Chairs-STAST 2012;
in Socio-Technical Aspects in Security and Trust (STAST), 2012 Workshop on (2012)
Using Prêt à Voter in Victorian State Elections; ; ; ; ; ; ; ; ;
in Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (2012)
Trustworthy agent-based recommender system in a mobile P2P environment; ;
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2012), 6573 LNAI
Generation of Realistic Mobility for VANETs Using Genetic Algorithms; ; ; ;
in Proceedings of the IEEE Congress on Evolutionary Computation (2012)
Distance-Based Rules for Weighted Judgment Aggregation (Extended Abstract);
in Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS2012 (2012)
Defending against insider threats and internal data leakage; ; ;
in SECURITY AND COMMUNICATION NETWORKS (2012), 5(8), 831-833
2011
Enforcing privacy in e-commerce by balancing anonymity and trust; ;
in Computers & Security (2011), 30(8), 705-718
STAST 2011 Proc. of the 1st Workshop on Socio-Technical Aspects in Security and Trust; ; ;
Book published by IEEE (2011)
Doubtful Deviations and Farsighted Play;
in Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence (2011)
Computational Aspects of Attack-Defense Trees; ;
in Security and Intelligent Information Systems - International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers (2011)
A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems;
in 2011 International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE) (2011)
Selective location blinding using hash chains; ;
in Proc. 19th International Workshop on Security Protocols (2011)
Generalized Information Theory based on the Theory of Hintsin Liu, Weiru (Ed.) Symbolic and Quantitative Approaches to Reasoning with Uncertainty (2011)
Generic Solution Construction in Valuation-Based Systemsin Butz, Cory; Lingras, Pawan (Eds.) Advances in Artificial Intelligence (2011)
Generic Inference A Unifying Theory for Automated Reasoning;
Book published by John Wiley & Sons (2011)
Adaptive Trust Management; ;
in Serugendo, Giovanna Di Marzo; Gleizes, Marie-Pierre; Karageorgos, Anthony (Eds.) Self-Organizing Software - From Natural to Artificial Adaptation (2011)
Distance-based Judgment Aggregation of Three-valued Judgments with Weights;
in Proceedings of the IJCAI Workshop on Social Choice and Artificial Intelligence (2011)
2010
Contextual biometric-based authentication for ubiquitous services; ;
in Proc. of the 7th International Conference on Ubiquitous Intelligence and Computing (UIC 2010) (2010)
Model Checking Logics of Strategic Ability: Complexity; ;
in Dastani, M.; Hindriks, K.; Meyer, J.-J. (Eds.) Specification and Verification of Multi-Agent Systems (2010)
Verifying Agents with Memory Is Harder than It Seemed;
in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2010)
Coalition Description Logic for Individuals;
in Electronic Notes in Theoretical Computer Science (2010), 262
Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface; ; ; ; ; ;
in Proc. 11th International Conference on Cryptology in India (IndoCrypt'10) (2010)
2009
Easy Yet Hard: Model Checking Strategies of Agentsin Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX (2009)
Undated
Accomplishing transparency within the General Data Protection Regulation (Auxiliary material); ;
Learning material (n.d.)
Correspondences between WZNW models and CFTs with W-algebra symmetry; ;
E-print/Working paper (n.d.)
