Henry DeYoung

According to our database1, Henry DeYoung authored at least 6 papers between 2008 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Substructural Proofs as Automata.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2012
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.
Proceedings of the Computer Science Logic (CSL'12), 2012

2011
Linear Logical Voting Protocols.
Proceedings of the E-Voting and Identity, 2011

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.
Proceedings of the Information Systems Security - 7th International Conference, 2011

2010
Experiences in the logical specification of the HIPAA and GLBA privacy laws.
Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, 2010

2008
An Authorization Logic With Explicit Time.
Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008


  Loading...