HCSS'15: Poster Session

file

Abstract_Interp_HCSS_2015_poster.pdf

Submitted by sttaft on Tue, 05/05/2015 - 12:31pm

file

Bringing Roots of Trust to Reality

Submitted by Katie Dey on Thu, 04/23/2015 - 7:49pm. Contributor:

Adam Wick

Abstract:

One of the key themes in the security community over the last few years has been how to create a strong root of trust, particularly in the mobile space. After all, a strong root of trust enables a wide variety of capabilities across a number of industries. Some researchers have responded to this call with various solutions across the mobile and traditional computing worlds, while other researchers have shown how we can use these technologies in various protocols and system designs.

file

Re-Engineering Abstract Interpretation

Submitted by Katie Dey on Thu, 04/23/2015 - 7:49pm. Contributor:

S. Tucker Taft

Abstract:

file

Runtime Assurance for Complex Autonomy

Submitted by Katie Dey on Thu, 04/23/2015 - 7:49pm. Contributor:

John Schierman

Abstract:

file

CoqPIE: A Coq IDE Aimed at Improving Proof Development Productivity

Submitted by Katie Dey on Thu, 04/23/2015 - 7:49pm. Contributor:

Kenneth Roe

Any Coq user who as attempted a non-trivial proof has found that the process is extremely tedious. The author after analyzing some of his own workflow in developing proofs identified a number of areas in which the proof development process could be improved. One key finding is that of developing a large proof (with many lemmas) often requires many iterations of revisions on the statement of the proof. Developing the proof script often reveals errors in the statement of the proof. Changing the statement then requires the proof to be replayed which is very tedious.

file