Concepedia

Christian Skalka

CS

22

Publications

555

Citations

15

H-Index

2000

Active since

Affiliations

University of Vermont(Current)

Johns Hopkins University

Institut national de recherche en sciences et technologies du numérique

Christian Skalka is an author at University of Vermont specializing in engineering, computer science, and data security.

Top concepts

EngineeringComputer ScienceData SecurityVerificationFormal VerificationInformation SecurityCryptographyData PrivacyFormal MethodsProgram Analysis

Publications per year

2000–2021

22

Publications

22

Static enforcement of security with types

Christian Skalka, Scott F. Smith · 2000 · 73 citations · Full text

Access Control Checks, Engineering, Information Security +23

A systematic approach to static access control

François Pottier, Christian Skalka, Scott F. Smith · ACM Transactions on Programming Languages and Systems · 2005 · 67 citations · Full text

Access Control Checks, Engineering, Information Security +21

Predicting Posttraumatic Stress Disorder Risk: A Machine Learning Approach

Safwan Wshah, Christian Skalka, Matthew Price · JMIR Mental Health · 2019 · 55 citations · Full text

Types and trace effects of higher order programs

Christian Skalka, Scott F. Smith, David Van Horn · Journal of Functional Programming · 2007 · 54 citations · Full text

Usability Evaluation of a Mobile Monitoring System to Assess Symptoms After a Traumatic Injury: A Mixed-Methods Study

Matthew Price, Tyler Sawyer, M. S. H. Harris et al. · JMIR Mental Health · 2016 · 39 citations · Full text

Rows per page

1–5 of 22