Publications
In press
Which Properties has an Icon? A Critical Discussion on Evaluation Methods for Standardised Data Protection Iconography;
in Proceedings of the 8th Workshop on Socio-Technical Aspects in Security and Trust (STAST) (in press)
2021
Concise UC Zero-Knowledge Proofs for Oblivious Updatable Databases; ;
in 2021 34th IEEE Computer Security Foundations Symposium (2021)
2020
Vote Selling Resistant Voting; ;
in Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia February 14, 2020, Revised Selected Papers (2020)
Unlinkable Updatable Databases and Oblivious Transfer with Access Control;
in 25th Australasian Conference on Information Security and Privacy (2020)
The Framework of Security-Enhancing Friction: How UX Can Help Users Behave More Securely; ; ;
in New Security Paradigms Workshop (2020)
"The Simplest Protocol for Oblivious Transfer'' Revisited; ;
in Information Processing Letters (2020)
Dual-Use Research In Ransomware Attacks: A Discussion on Ransomware Defence Intelligence;
in Proceedings of the 6th International Conference on Information Systems Security and Privacy (2020)
Data-driven simulation and optimization for covid-19 exit strategies; ; ; ; ; ; ;
in Ghamizi, Salah; Rwemalika, Renaud; Cordy, Maxime; Veiber, Lisa; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Klein, Jacques; Le Traon, Yves (Eds.) Data-driven simulation and optimization for covid-19 exit strategies (2020, August)
Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities; ;
in Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia February 14, 2020, Revised Selected Papers (2020)
Preservation of DNA Privacy During the Large Scale Detection of COVID-19; ; ; ; ;
E-print/Working paper (2020)
(Universal) Unconditional Verifiability in E-Voting without Trusted Parties; ; ;
in 2020 IEEE 33rd Computer Security Foundations Symposium (2020)
Evaluating Pretrained Transformer-based Models on the Task of Fine-Grained Named Entity Recognition; ; ; ;
in Proceedings of the 28th International Conference on Computational Linguistics (2020, December)
SARS-CoV-2 Transmission in Educational Settings During an Early Summer Epidemic Wave in Luxembourg; ; ; ; ; ; ; ;
E-print/Working paper (2020)
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 (2020)
Making the Case for Evidence-based Standardization of Data Privacy and Data Protection Visual Indicators;
in Journal of Open Access to Law (JOAL) (2020), 8(1),
Transparency by Design in Data-Informed Research: a Collection of Information Design Patterns;
in Computer Law and Security Review (2020), 37(105402),
Can Visual Design Provide Legal Transparency? The Challenges for Successful Implementation of Icons for Data Protection;
in Design Issues (2020), 36(3), 82-96
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 (2020)
Qualifying and Measuring Transparency: A Medical Data System Case Study; ;
in Computers and Security (2020)
Evaluating ambiguity of privacy indicators in a secure email app;
in Loreti, Michele; Spalazzi, Luca (Eds.) Proceedings of the Fourth Italian Conference on Cyber Security, Ancona Italy, February 4th to 7th, 2020 (2020)
Systematization of threats and requirements for private messaging with untrusted servers. The case of E-mailing and instant messaging;
in International Conference on Information Systems Security and Privacy, Malta 25-27 February 2020 (2020, February)
Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets; ;
in Proceedings of the 17th International Joint Conference on e-Business and Telecommunications (2020)
Challenges Towards Production-Ready Explainable Machine Learning; ; ; ;
in Veiber, Lisa; Allix, Kevin; Arslan, Yusuf; Bissyande, Tegawendé François D Assise; Klein, Jacques (Eds.) Proceedings of the 2020 USENIX Conference on Operational Machine Learning (OpML 20) (2020, July)
Short paper: Mechanized Proofs of Verifiability and Privacy in a paper-based e-voting Scheme; ;
in International Conference on Financial Crypto Workshop on Advances in Secure Electronic Voting (2020, February)
2019
Sistemi Medici e Conformità Legale;
in Rivista Italiana di Medicina Legale: Dottrina, Casistica, Ricerca Sperimentale, Giurisprudenza e Legislazione (2019), XLI(1/2019), 225-242
The DAta Protection REgulation COmpliance Model; ;
in IEEE Security and Privacy (2019), 17(6), 37-45
An Agile Approach to Validate a Formal Representation of the GDPR; ;
in JSAI International Symposium on Artificial Intelligence (2019), 11717
Authenticated Key Distribution: When the Coupon Collector is Your Enemy; ; ; ; ;
in Innovative Security Solutions for Information Technology and Communications (2019, November 14)
A Lightweight Implementation of NTRU Prime for the Post-Quantum Internet of Things; ; ; ;
in Laurent, Maryline; Giannetsos, Thanassis (Eds.) Information Security Theory and Practice, 13th IFIP WG 11.2 International Conference, WISTP 2019, Paris, France, December 11–12, 2019, Proceedings (2019, December)
A Lightweight Implementation of NTRUEncrypt for 8-bit AVR Microcontrollers; ; ;
Scientific Conference (2019, August)
UC Priced Oblivious Transfer with Purchase Statistics and Dynamic Pricing; ;
in Progress in Cryptology – INDOCRYPT 2019 (2019, December)
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 Proceedings of the Second International Workshop on Emerging Technologies for Authorization and Authentication (2019)
A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack; ; ;
in Information Systems Security and Privacy (2019, July)
Case Study: Analysis and Mitigation of a Novel Sandbox-Evasion Technique; ;
in Proceedings of the Third Central European Cybersecurity Conference (2019)
A Game of "Cut and Mouse": Bypassing Antivirus by Simulating User Inputs; ;
in Proceedings of the 35th Annual Computer Security Applications Conference (2019)
On Deception-Based Protection Against Cryptographic Ransomware; ;
in Proceedings of the 16th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (2019)
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)
Composable, Unconditionally Secure Message Authentication without any Secret Keyin 2019 IEEE International Symposium on Information Theory (ISIT), Paris, France, 2019 (2019)
Together or Alone: The Price of Privacy in Collaborative Learinig; ;
in Proceedings on Privacy Enhancing Technologies (2019, July)
End-to-End Verifiable Quadratic Voting with Everlasting Privacy;
in Financial Cryptography and Data Security - FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers (2019)
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)
Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base; ; ; ; ;
in Journal of Logic, Language and Information (2019)
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)
When Design Met Law: Design Patterns for Information Transparency; ; ;
in Droit de la Consommation (2019), (1),
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)
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)
An Interdisciplinary Methodology to Validate Formal Representations of Legal Text Applied to the GDPR; ;
Scientific Conference (2018, November 12)
No Random, No Ransom: A Key to Stop Cryptographic Ransomware; ;
in Proceedings of the 15th Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (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)
Legal Design Patterns for Privacy; ; ;
in Data Protection / LegalTech Proceedings of the 21st International Legal Informatics Symposium IRIS 2018 (2018)
Security Attacks and Enhancements to Chaotic Map-Based RFID Authentication Protocols;
in Wireless Personal Communications (2018), 98(1), 1135-1154
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)
Entanglement of Approximate Quantum Strategies in XOR Games;
in Quantum Information and Computation (2018), 18(7&8), 06170631
PrOnto: Privacy Ontology for Legal Reasoning; ; ; ;
in International Conference on Electronic Government and the Information Systems Perspective (2018)
A Methodological Framework to Design a Machine-Readable Privacy Icon Set; ; ;
in Schweighofer, Erich (Ed.) Data Protection / LegalTech Proceedings of the 21st International Legal Informatics Symposium IRIS 2018 (2018)
Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability; ;
E-print/Working paper (2018)
From Words to Images Through Legal Visualization;
in Pagallo, Ugo; Palmirani, Monica; Casanovas, Pompeu; Sartor, Giovanni; Villata, Serena (Eds.) AI Approaches to the Complexity of Legal Systems: AICOL International Workshops 2015–2017: AICOL-VI@ JURIX 2015, AICOL-VII@ EKAW 2016, AICOL-VIII@ JURIX 2016, AICOL-IX@ ICAIL 2017, and AICOL-X@ JURIX 2017, Revised Selected Papers (2018)
Cholesteric Liquid Crystal Shells as Enabling Material for Information-Rich Design and Architecture.; ; ; ; ;
in Advanced Materials (2018)
On Composability of Game-based Password Authenticated Key Exchange;
in Skrobot, Marjan; Lancrenon, Jean (Eds.) 2018 IEEE European Symposium on Security and Privacy (EuroS&P) (2018, April)
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 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)
A Visualization Approach for Adaptive Consent in the European Data Protection Framework;
in Edelmann, Noella; Parycek, Peter (Eds.) Proceedings of the 7th International Conference for E-Democracy and Open Government (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)
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)
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)
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 Traceability and Verifiable Controllable LinkabilityDoctoral thesis (2016)
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
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
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)
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)
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)
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)
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 (2012), 6573 LNAI
Generation of Realistic Mobility for VANETs Using Genetic Algorithms; ; ; ;
in Proceedings of the IEEE Congress on Evolutionary Computation (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)
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)
2010
Contextual biometric-based authentication for ubiquitous services; ;
in Proc. of the 7th International Conference on Ubiquitous Intelligence and Computing (UIC 2010) (2010)
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
Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Servicesin de Lemos, R.; Fabre, J. C.; Gacek, C.; Gadducci, F.; ~ter Beek, M. H. (Eds.) Architecting Dependable Systems VI 2018-09-18 22:51:18 +0000 2019-06-15 18:11:00 +0200 (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.)
