Peter Aldous

#	Item
1	A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:28 Compiler optimizations Computing Program analysis Abstract interpretation Data-flow analysis Abstraction Static single assignment form Graph Bytecode Register allocation Algorithm Academia
2	A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous and Matthew Might University of Utah Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:40:02 Password Security Denning
3	Autumn[removed]R[removed]WINTER Add to Reading List Source URL: www.peteraldous.com Language: English - Date: 2014-01-15 10:00:06 Counties of England Peter Aldous Lowestoft Kessingland Beccles Suffolk Waveney Local government in England