Publications
2023
I-GWAS: Privacy-Preserving Interdependent Genome-Wide Association Studies; ; ;
in Proceedings on Privacy Enhancing Technologies (2023)
2022
Tolerating Resource Exhaustion Attacks in the Time-Triggered Architecture; ;
Scientific Conference (2022, November 21)
From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering; ; ; ; ; ; ; ; ; ; ; ;
in Graczyk, Rafal; Bujwan, Waldemar; Darmetko, Marcin; Dziezyc, Marcin; Galano, Damien; Grochowski, Konrad; Kurowski, Michal; Juchnikowski, Grzegorz; Morawski, Marek; Mosdorf, Michal; Orleanski, Piotr; Thizy, Cedric; Volp, Marcus (Eds.) From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering (2022, June 23)
Methods for increasing the dependability of High-performance, Many-core, System-on-Chips; ;
in Graczyk, Rafal; Memon, Md Saad; Volp, Marcus (Eds.) IAC 2022 congress proceedings, 73rd International Astronautical Congress (IAC) (2022, September 21)
Consent To Shoot – Rethinking The Anti-satellite Weapon Versus Space Debris Dilemma; ;
Scientific Conference (2022, March 02)
Automatic Repair and Deadlock Detection for Parameterized Systems; ;
in Automatic Repair and Deadlock Detection for Parameterized Systems (2022, October 15)
Federated Geometric Monte Carlo Clustering to Counter Non-IID Datasets; ; ; ;
E-print/Working paper (2022)
Secure, privacy-preserving and practical collaborative Genome-Wide Association StudiesDoctoral thesis (2022)
Secure and Distributed Assessment of Privacy-Preserving Releases of GWAS; ;
in ACM/IFIP International Middleware Conference (2022, November)
Towards practical Genome-Wide Association Studies: Overview and Challenges; ;
Scientific Conference (2022, July 11)
Behind the last line of defense: Surviving SoC faults and intrusions; ;
in Computers & Security (2022), 123
Security Modeling and Analysis of Moving Target Defense in Software Defined Networks; ; ; ;
in Security Modeling and Analysis of Moving Target Defense in Software Defined Networks (2022, November 28)
2021
Characterizing the Impact of Network Delay on Bitcoin Mining; ; ;
Scientific Conference (2021, September)
SI‐AKAV: Secure integrated authentication and key agreement for cellular‐connected IoT devices in vehicular social networks; ; ; ;
in Transactions on Emerging Telecommunications Technologies (2021)
EphemeriShield - Defence Against Cyber-Antisatellite Weapons;
Scientific Conference (2021, October 14)
Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication; ; ; ; ;
in LITES: Leibnitz Transactions on Embedded Systems (2021)
DyPS: Dynamic, Private and Secure GWAS (Summary) - GenoPri'21 Talk; ; ;
Presentation (2021, September 22)
Threat Adaptive Byzantine Fault Tolerant State-Machine Replication; ; ; ;
Scientific Conference (2021, September)
2020
Exploring the Monero Peer-to-Peer Network; ; ; ;
in Cao, Tong; Yu, Jiangshan; Decouchant, Jérémie; Luo, Xiapu; Verissimo, Paulo (Eds.) Financial Cryptography and Data Security 2020, Sabah, 10-14 February 2020 (2020, February)
Behind the Last Line of Defense -- Surviving SoC Faults and Intrusions; ;
E-print/Working paper (2020)
Effect of vagus nerve stimulation on EEG oscillations and connectivity; ; ; ; ;
in Effect of vagus nerve stimulation on EEG oscillations and connectivity (2020)
2019
P3LS : Plausible Deniability for Practical Privacy-Preserving Live Streaming; ; ;
Scientific Conference (2019, October)
Automated epileptic seizure detection based on break of excitation/inhibition balance; ; ; ; ;
in Computers in Biology and Medicine (2019)
DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment; ; ; ;
in IEEE Journal of Biomedical and Health Informatics (2019)
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast; ;
in IEEE Transactions on Computers (2019), 68(3),
ANCHOR: logically-centralized security for Software-Defined Networks; ; ;
E-print/Working paper (2019)
Deconstructing Blockchains: A Comprehensive Survey on Consensus, Membership and Structure; ; ;
E-print/Working paper (2019)
Sustainable Security and Safety: Challenges and Opportunities; ; ; ; ; ; ; ;
in OpenAccess Series in Informatics (OASIcs) (2019), 73
Asphalion: Trustworthy Shielding Against Byzantine Faults; ;
in Vukotic, Ivana; Rahli, Vincent; Verissimo, Paulo (Eds.) Asphalion: Trustworthy Shielding Against Byzantine Faults (2019)
2018
Accurate filtering of privacy-sensitive information in raw genomic data; ; ; ;
in Journal of Biomedical Informatics (2018)
The KISS principle in Software-Defined Networking: a framework for secure communications; ; ; ;
in IEEE Security & Privacy Magazine (2018), 16(05), 60-70
Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems; ;
in LIPIcs-Leibniz International Proceedings in Informatics (2018), 106
Generalization of the primary tone phase variation method: An exclusive way of isolating the frequency-following response components; ; ; ; ;
in The Journal of the Acoustical Society of America (2018)
Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol; ; ;
Scientific Conference (2018)
Intrusion-Tolerant Autonomous Driving;
in Proceedings of 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) (2018, May 29)
Seizure evolution can be characterized as path through synaptic gain space of a neural mass model; ; ; ; ;
in European Journal of Neuroscience (2018)
DECIM: Detecting Endpoint Compromise In Messaging; ;
in IEEE Transactions on Information Forensics and Security (2018)
2017
A Hardware/Software Stack for Heterogeneous Systems; ; ; ; ; ; ; ; ;
in IEEE Transactions on Multi-Scale Computing Systems (2017), PP(99), 1
How can photo sharing inspire sharing genomes?; ; ; ; ;
in 11th International Conference on Practical Applications of Computational Biology & Bioinformatics 2017 (2017)
A Perspective of Security for Mobile Service Robots; ; ; ; ; ;
in Iberian Robotics Conference, Seville, Spain, 2017 (2017, November 22)
A Lightweight Authentication Mechanism for M2M Communications in Industrial IoT Environment; ; ; ; ; ; ; ; ;
in IEEE Internet of Things Journal (2017), 6(1), 288-296
Cloud-Assisted Read Alignment and Privacy; ; ;
in 11th International Conference on Practical Applications of Computational Biology & Bioinformatics 2017 (2017)
Improving Security for Time-Triggered Real-Time Systems against Timing Inference Based Attacks by Schedule Obfuscation; ;
Scientific Conference (2017, June)
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications; ; ;
in 30th IEEE Computer Security Foundations Symposium (2017)
Multistage Downstream Attack Detection in a Cyber Physical System; ; ;
in 3rd Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems In Conjunction With ESORICS 2017 (2017, September)
Validating Brouwer's Continuity Principle for Numbers Using Named Exceptions;
in Mathematical Structures in Computer Science (2017)
Bar Induction: The Good, the Bad, and the Ugly; ;
in Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
EventML: Specification, Verification, and Implementation of Crash-Tolerant State Machine Replication Systems; ; ;
in Science of Computer Programming (2017)
Exploiting Transistor-Level Reconfiguration to Optimize Combinational Circuits on the Example of a Conditional Sum Adder; ; ; ; ; ;
Scientific Conference (2017, March)
Meeting the Challenges of Critical and Extreme Dependability and Security; ; ;
in Proceedings of the 22nd Pacific Rim International Symposium on Dependable Computing (2017)
Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information; ; ; ;
Scientific Conference (2017, October)
Facing the Safety-Security Gap in RTES: the Challenge of Timeliness; ;
Scientific Conference (2017, December)
Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come; ; ; ;
in Twenty-fifth International Workshop on Security Protocols (2017)
Dynamics underlying interictal to ictal transition in temporal lobe epilepsy: insights from a neural mass model; ; ; ; ;
in European Journal of Neuroscience (2017)
Chapter 7: Evaluating web PKIs;
in Software Architecture for Big Data and the Cloud, 1st Edition, Chapter 7, June 2017. (2017)
Authenticating compromisable storage systems; ;
in The 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (2017)
2016
M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores; ; ; ;
in Architectural Support for Programming Languages and Operating Systems (ASPLOS) (2016, April)
JITeR: Just-in-time application-layer routing; ; ; ; ; ; ;
in Computer Networks (2016), (104), 122-136
Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems; ; ;
in Proceedings of the Second ACM Workshop on Cyber-Physical Systems Security and PrivaCy (2016, October)
An efficient null space-based homomorphic MAC scheme against tag pollution attacks in RLNC; ;
in IEEE Communications Letters (2016), 20(5), 918--921
A Nominal Exploration of Intuitionism;
in The 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016) (2016)
Skalpel: A Constraint-Based Type Error Slicer for Standard ML; ; ;
in Journal of Symbolic Computation (2016)
The big data deluge in biomedicine: addressing the privacy vs. sharing dilemma;
Scientific Conference (2016, March 16)
The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;
Scientific Conference (2016, November 14)
Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control; ; ; ; ;
Scientific Conference (2016, December 12)
DTKI: A New Formalized PKI with Verifiable Trusted Parties; ;
in Computer Journal (2016), 59(11), 1695--1713
2015
A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data; ; ;
in Proceedings of the 14th ACM Workshop on Privacy in the Electronic Society (2015)
Software-Defined Networking: A Comprehensive Survey; ; ; ; ;
in Proceedings of the IEEE (2015), 103(1), 14-76
Towards Dependable CPS Infrastructures: Architectural and Operating-System Challenges; ; ; ;
Scientific Conference (2015)
Device Attacker Models: Fact and Fiction;
in Security Protocols XXIII - 23rd International Workshop, Cambridge UK, March 31 - April 2, 2015, Revised Selected Papers (2015)
2014
Algebraic renormalization and Feynman integrals in configuration spaces;
in Advances in Theoretical and Mathematical Physics (2014), 18(2), 469-511
An Efficient Generic Framework for Three-Factor Authentication With Provably Secure Instantiation; ; ;
in IEEE Transactions on Information Forensics and Security (2014), 9(12), 2302--2313
2013
Security Analysis of a Single Sign-On Mechanism for Distributed Computer Networks; ;
in IEEE Transactions on Industrial Informatics (2013), 9(1), 294--302
2012
Feynman integrals and motives of configuration spaces;
in Communications in Mathematical Physics (2012), 313
Provably Secure Single Sign-on Scheme in Distributed Systems and Networks; ;
in 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012 (2012)
