Programming Languages for Information Security (2002)

by Stephan Arthur Zdancewic, Ph. D