Kestrel Institute

Recent papers from Kestrel Institute

1. Developing Energy Citizenship—Empowerment Through Engagement and (Co-)Ownership, Individually and in Energy CommunitiesSocial Sciences · 2026
2. Genomic profiling in hidradenitis suppurativa: InterOmics pipeline for DNA-RNA sequencing highlights HLA variants, keratin-associated mutations and extracellular matrix alterations as contributing factors to HS pathogenesisPLoS ONE · 2025
3. Formal Verification of Zero-Knowledge CircuitsElectronic Proceedings in Theoretical Computer Science · 2023
4. Syntheto: A Surface Language for APT and ACL2Electronic Proceedings in Theoretical Computer Science · 2022
5. Prophylaxis for preventing venous thromboembolism in knee arthroscopy and soft tissue reconstruction: consensus statements from an international panel of expertsKnee Surgery Sports Traumatology Arthroscopy · 2022
6. Isomorphic Data Type TransformationsElectronic Proceedings in Theoretical Computer Science · 2020
7. Extracellular-Regulated Protein Kinase 5-Mediated Control of p21 Expression Promotes Macrophage Proliferation Associated with Tumor Growth and MetastasisCancer Research · 2020
8. Comprehensive Java Metadata Tracking for Attack Detection and Repair2020
9. Applying Graph Theory to Problems in Air Traffic Management2017
10. A Versatile, Sound Tool for Simplifying DefinitionsElectronic Proceedings in Theoretical Computer Science · 2017
11. Information-Flow Analysis of Android Applications in DroidSafe2015
12. Crowd-scale interactive formal reasoning and analytics2013
13. Intelligent Systems and Formal Methods in Software EngineeringIEEE Intelligent Systems · 2006
14. Node density independent localization2006
15. A derivation system and compositional logic for security protocolsJournal of Computer Security · 2005
16. Simple verification technique for complex Java bytecode subroutinesConcurrency and Computation Practice and Experience · 2004
17. Deploying localization services in wireless sensor networks2004
18. A compositional logic for proving security properties of protocols*Journal of Computer Security · 2003
19. Improving the official specification of Java bytecode verificationConcurrency and Computation Practice and Experience · 2003
20. Secure Protocol CompositionElectronic Notes in Theoretical Computer Science · 2003