Stephan Hyeonjun Stiller

According to our database¹, Stephan Hyeonjun Stiller authored at least 3 papers between 2010 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Symbolic protocol composition logic: proving network protocols to be secure.

[BibT_eX]

[DOI]

PhD thesis, 2014

2011

Protocol Composition Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

SRL-Based Verb Selection for ESL.

[BibT_eX]

[DOI]

Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, 2010