Skip to main content



Find us on

facebook youtube flickr twitter itunes u logo

Past Talks

John Stewart EPRI

John Stewart
Sr. Technical Leader, Cyber Security, EPRI
Securing Grid Control Systems
Friday, January 12, 2018
Sudikoff L045 Trust Lab
12:00 Noon

M. Todd Henderson

M. Todd Henderson
Professor of Law, University of Chicago
Hacking Trust: How the Social Technology of Cooperation Will Revolutionize Government
Thursday, January 11, 2018
Room 003, Rockefeller Center
Sponsored by: Rockefeller Center

Dr. Liz Bowman

Dr. Elizabeth Bowman
U.S. Army Research Laboratory
Artificial Intelligence, Machine Learning and Information: Army Social Computing Research
Tuesday, December 5th
Haldeman 041 Kreindler Conference Room
4:00 PM

Dr. Fabio Pierazzi

Dr. Fabio Pierazzi
Royal Holloway University of London
Network Security Analytics for Detection of Advanced Cyberattacks
Tuesday, November 28th
Sudikoff Trust Lab (L045)
12:30 PM

V.S. Subrahmanian

V.S. Subrahmanian
Dartmouth Distinguished Professor in Cybersecurity, Technology, and Society
Bots, Socks, and Vandals
Tuesday, November 14th
Carson L01
5:00 PM 

Rand Beers

Rand Beers ('64)
Big Data, the Internet, and Social Media:  The Road to the November 2016 Election
Wednesday, November 8th
Haldeman 41 (Kreindler Conference Hall)
4:30 PM 

Fright Night Imge

Wanna See Something REALLY Scary?
ISTS Looks at the Dark Web on Halloween Night
Tuesday, October 31st
udikoff  045 Trust Lab (dungeon)
7:30 PM - RSVP
Space is Limited 

Sal Stolfo

Salvatore J. Stolfo 
Columbia University
A Brief History of Symbiote Defense
Tuesday, October 31st
Rockefeller 003
5:00 PM

Dan Wallach

STAR-Vote: A Secure, Transparent, Auditable and Reliable Voting System

Professor Dan Wallach
Rice University
Thursday April 27, 2017
Carson L01, 5:00 PM

Ben Miller Dragos

Pandora's Power Grid - What Can State Attacks Do and What Would be the Impact?

Ben Miller
Chief Threat Officer, Dragos, Inc.
Tuesday May 2, 2017
Kemeny 007, 4:30 PM
Brendan Nyhan




Factual Echo Chambers? Fact-checking and Fake News in Election 2016.

Professor Brendan Nyhan
Dartmouth College
Thursday May 4, 2017
Rocky 001, 5:00 PM

Dickie George


Espionage and Intelligence

Professor Dickie George
Johns Hopkins University
Thursday May 11, 2017
Rocky 001, 5:00 PM

Dan Wallach

A Nation Under Attack: Advanced Cyber-Attacks in Ukraine

Ukrainian Cybersecurity Researchers
Thursday April 6, 2017
Oopik Auditorium 5:30 PM

ISTS Information Pamphlet



Institute for Security, Technology, and Society
Dartmouth College
6211 Sudikoff Laboratory
Hanover, NH 03755 USA
HomeEvents >

Logic and Practice of Trust Management


Trust management systems allow decentralized authorization of security critical actions in modern distributed systems. Examples include SDSI/SPKI, KeyNote, and RT. A variety of logics have been used to specify the semantics of trust management systems, being sufficiently expressive to capture their meaning in a natural manner, and providing them with rigorous mathematical foundations. We propose LolliMon, a linear logic programming language, as a new foundation for RT trust management, since it possesses unique features allowing a simple and scalable implementation of the system that is easily proven correct. In particular, conditional subgoals, linear hypotheses, and a mix of bottom-up and top-down proof strategies, allow for a seamless integration of authorization steps and non-local certificate retrieval, commonly called certificate chain discovery. This technique is easily adapted to a variety of enhancements of the basic system. Furthermore, we show how strategies! for minimizing the cost of certificate retrieval can be encoded in the logical specification, providing efficiency without compromising mathematical rigor for security.

This is joint work with Peter Chapin (UVM), X. Sean Wang (UVM), and Jeff Polakow (AIST, CVS, JST).


Christian Skalka received a BA in Philosophy and Mathematics from St. John's College in Santa Fe, NM in 1991, after which he worked on the Human Genome Project at the Los Alamos National Laboratories and the National Institutes of Health. He began graduate study in 1996, first earning an MS in Logic, Computation and Methodology at Carnegie Mellon University, then earning a PhD in Computer Science at the Johns Hopkins University in 2002 under Scott Smith, where his thesis was entitled "Types for Programming Language Based Security". He is currently an Assistant Professor at the University of Vermont, where his research focuses on type theory, computer security, and logic in computer science.