Core team:


Christian Skalka

University of Vermont

College of Engineering and Mathematical Sciences, Department of Computer Science, Associate Dean, College of Engineering and Mathematical Sciences Associate Professor, Department of Computer Science

My research interests lie at the intersection of Computer Science theory and practice. I develop innovative formal methods based on programming language type theory, mathematical logic, and computability theory in general. I also build cyber-physical systems based on these technical innovations, and explore applications of these methods to important practical problems, especially related to cybersecurity, health, and the environment.


Most recent papers:

Christian Skalka, Frank Capobianco, Trent Jaeger, Giuseppe Petracca. On Risk in Access Control Enforcement. SACMAT '17 Abstracts, 31-42, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies , 2017.
[pdf]
Christian Skalka, Trent Jaeger, Frank Capobianco. Tracking the Provenance of Access Control Decisions. Proceedings of the 9th International Workshop on Theory and Practice of Provenance, , , 2017.
[pdf]
Christian Skalka, Shrutarshi Basu, Nate Foster, Hossein Hojjat , Paparao Palacharla, Xi Wang. Life on the Edge: Unraveling Policies into Configurations. ANCS '17, 178-190, Proceedings of the Symposium on Architectures for Networking and Communications Systems , 2017.
[pdf]
Christian Skalka, Matthew Price, Katherine van Stolk-Cooke, Hannah L. Ward, Michael O’Keefe, Kalev Freeman, Jennifer Gratton. Tracking Post-trauma Psychopathology Using Mobile Applications: a Usability Study. Journal of Technology in Behavioral Science, 41-48, 2, 2017.
[pdf]
Afsoon Yousefi Zowj, Joshua Bongard, Christian Skalka. A Genetic Programming Approach to Cost-Sensitive Control in Wireless Sensor Networks. Computational Intelligence in Wireless Sensor Networks, 1-31, , 2017.
[pdf] [journal page]
Christian Skalka, Matthew Price, Tyler Sawyer, Madison Harris. Usability Evaluation of a Mobile Monitoring System to Assess Symptoms After a Traumatic Injury: A Mixed-Methods Study. JMIR Ment Health, e3, 3, 2016.
[pdf]
Christian Skalka, Sepehr Amir-Mohammadian. In-Depth Enforcement of Dynamic Integrity Taint Analysis. PLAS '16, , Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security , 2016.
[pdf]
Sam Kreigman, Marcin Szubert, Joshua Bongard, Christian Skalka. Evolving spatially aggregated features from satellite imagery for regional modeling. International Conference on Parallel Problem Solving from Nature, 707-716, , 2016.
[pdf] [journal page] [arXiv]
Christian Skalka, Sepehr Amir-Mohammadian, Stephen Chong. Correct Audit Logging: Theory and Practice. POST 2016: Principles of Security and Trust , 139-162, , 2016.
[pdf]
Afsoon Yousefi Zowj, Joshua Bongard, Christian Skalka. A genetic programming approach to cost-sensitive control in resource constrained sensor systems. Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, 1295-1302, , 2015.
[pdf] [journal page]
(show all)