Follow

Submissions from 2013

Link

A static cost analysis for a higher-order language, Norman Danner, Jennifer Lynn Paykin, and James S. Royer

Submissions from 2012

Link

Effectiveness and detection of denial of service attacks in Tor, Norman Danner, Samuel P. DeFabbia-Kane, Danny Krizanc, and Marc Liberatore

Submissions from 2011

Link

Simulation of circuit creation in Tor: Preliminary results, William Higginson Branin Boyd, Norman Danner, and Danny Krizanc

Submissions from 2009

Link

Two algorithms in search of a type system, Norman Danner and James S. Royer

Submissions from 2007

Link

Adventures in time and space, Norman Danner and James S. Royer

Link

Circuit principles and weak pigeonhole variants, Chris Pollett and Norman Danner

Submissions from 2006

Link

Adventures in time and space, Norman Danner and James S. Royer

Submissions from 1999

Link

Stratified polymorphism and primitive recursion, Norman Danner and Daniel Leivant