Dave Scott's Work Page

My current interests lie in I'm actively involved in several projects including: My PhD research focused on application-level security policies for mobile web-based systems. The work was supervised by Alan Mycroft in the CL. I'm grateful to Andy Hopper from the LCE and the Schiff Foundation for support and funding respectively. I am also sponsored by the now defunct AT&T Laboratories Cambridge Ltd.

Refereed Reports

2005  
Eleanor Toye, Richard Sharp, Anil Madhavapeddy, David Scott, Eben Upton and Alan Blackwell
Interacting with Mobile Services: An Evaluation of Camera-Phones and Visual Tags
To appear in Personal and Ubiquitous Computing Journal, late 2005
2005  
Anil Madhavapeddy, Richard Sharp, David Scott and Alastair Tse
Audio Networking: The Forgotten Wireless Technology
In IEEE Pervasive Computing (volume 4, number 3), July-September 2005
[pdf] [bib]  
2005  
Anil Madhavapeddy, David Scott and Richard Sharp
SPLAT: A Tool for Model-Checking and Dynamically Enforcing Abstractions
In the proceedings of the 12th International SPIN Workshop on Model Checking of Software (SPIN 2005), August 2005
[pdf] [bibtex]  
2005  
E. Toye, R. Sharp, A. Madhavapeddy, D.Scott
Using Smart Phones to Access Site-Specific Mobile Services
To appear in special issue of IEEE Pervasive Computing on the Smart Phone: A First Platform for Pervasive Computing, June 2005
2005  
A. Madhavapeddy, D. Scott
On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers
To appear in the First Workshop on Hot Topics in System Dependability (HotDep-05), June 2005.
2005  
D. Scott, R. Sharp, A. Madhavapeddy, E. Upton
Using Camera-Enabled Personal Devices to Access Bluetooth Mobile Services
ACM Mobile Computing and Communications Review (MC2R), January 2005, Volume 9, Number 1, Pages 41-53.
 
2004  
D. Scott
Abstracting Application-Level Security Policy for Ubiquitous Computing
PhD thesis, University of Cambridge
[pdf: 2.0 MB]  
2004  
K. Mansley, A. Beresford, D. Scott
The Carrot Approach: Encouraging use of location systems
This paper describes techniques to encourage (rather than force) the use of location-aware apps in the face of declining participation. Presented at The Sixth International Conference on Ubiquitous Computing (UBICOMP 2004) in Nottingham, UK in Septempter 2004
[pdf: 400kB] 
2004  
Anil Madhavapeddy, David Scott, Richard Sharp and Eben Upton
Using Camera-Phones to Enhance Human-Computer Interaction
In the adjunct proceedings of The Sixth International Conference on Ubiquitous Computing, September 2004
[pdf] [bibtex]
2004  
K. Mansley, D. Scott, A. Tse, A. Madhavapeddy
Feedback, Latency, Accuracy: Exploring Tradeoffs in Location-Aware Gaming
Presented at NetGames 2004, in conjunction with ACM SIGCOMM 2004, August 2004
[pdf: 1.3MB] 
2003  
A. Madhavapeddy, D. Scott, R. Sharp
Context-Aware Computing with Sound
This paper describes simple techniques for audible data communication and shows how these channels, although low bandwidth, may be used to create cheap context-aware applications. Presented at The Fifth International Conference on Ubiquitous Computing (UBICOMP) 2003 in Seattle, Washington.
[pdf: 237kB] 
2003  
D. Scott, R. Sharp
Specifying and Enforcing Application-Level Web Security Policies
Invited contribution to Jul/Aug 2003 IEEE Transactions in Knowledge and Data Engineering (TKDE)
2003  
A. Madhavapeddy, A. Mycroft, D. Scott, R. Sharp
The Case For Abstracting Security Policies
This paper describes an infrastructure for imposing Stateful Syscall Policies on existing programs. Presented at The 2003 International Conference on Security and Management
[pdf: 68kB] 
2003  
D. Scott, A. Beresford, A. Mycroft
Spatial Policies for Sentient Mobile Applications
This paper describes a runtime for implementing a Spatial Policy system for sentient applications built from Mobile Agents Presented at IEEE Policy 2003.
[gzipped ps: 76kB]  [pdf: 132kB]] 
2003  
D. Scott, A. Beresford, A. Mycroft
Spatial Security Policies for Mobile Agents in a Sentient Computing environment
Presented at FASE 2003 (part of ETAPS 2003) in Warsaw, Poland. Won the European Association of Software Science and Technology (EASST) Best Software Science Paper award. © Springer-Verlag
[gzipped ps: 164kB]  [pdf: 170Kb]
2002  
D. Scott, R. Sharp
Developing Secure Web Applications
(C)2002 IEEE Internet Computing
IEEE Internet Computing Magazine in the Nov/Dec 2002 special issue on The Technology of Trust
[pdf: 560kb]
2002  
D. Scott, R. Sharp
Abstracting Application-Level Web Security
Please read the errata
Proceedings of the 11th International World-Wide Web conference (WWW2002) where it also received the "Best Paper" award.
[gzipped ps: 91Kb]  [pdf: 180Kb] [slides] [citeseer]
2001  
J. Weatherall, D. Scott
Mobile Computing with Python
Proceedings of the 9th International Python Conference (Python9), March 2001
[gzipped ps] [citeseer]

Unrefereed Reports

2005  
D. Scott
Abstracting application-level security policy for ubiquitous computing
Technical Report UCAM-CL-TR-613, University of Cambridge
[pdf: 2.2 MB]  
2004  
E. Toye, A. Madhavapeddy, R. Sharp, D. Scott, A. Blackwell, E. Upton
Using camera-phones to interact with context-aware mobile services
Technical report UCAM-CL-TR-609, University of Cambridge
[pdf: 0.4 MB]  
2002  
D. Scott, R. Sharp
SPECTRE: A Tool for Inferring, Specifying and Enforcing Web-Security Policies
This paper describes the implementation of the dynamic policy enforcement tool called "SPECTRE"
[gzipped ps: 107Kb]  [pdf: 145Kb]
2002  
D. Scott, R. Sharp
The SWAP Project
This poster describes the overall aim of the SWAP Project
[gzipped ps: 100Kb]  [pdf: 125Kb]
2001  
D. Scott
First Year Report: Scalable Interface Framework
This report was submitted after the first year of my PhD course.
[gzipped ps: 412Kb]  [pdf: 519Kb]

Videos

2003  
A. Madhavapeddy, D. Scott, R. Sharp
Audio Notes
This video demonstrates how audionotes (special sequences of DTMF tones) may be used to store and retrieve documents via standard audio recording equipment.
[DivX AVI: 11Mb] 
2003  
A. Madhavapeddy, D. Scott, R. Sharp
Audio Authentication
This video demonstrates how a capability to access a resource may be sent as a melodic ring tone via SMS to a mobile phone handset.
[DivX AVI: 8.8Mb] 
2003  
A. Madhavapeddy, D. Scott, R. Sharp
Room-grained Location
This video demonstrates how audio beacons operating at approximately 21kHz (imperceptible to humans) may be used to easily infer room-grained location.
[DivX AVI: 2.7Mb] 
2003  
A. Madhavapeddy, D. Scott, R. Sharp
Telephone Attachments
This video demonstrates how document references may be easily transmitted across telephone networks as sequences of DTMF tones.
[DivX AVI: 7.5Mb] 
Page last modified on $Date: 2005/04/06 13:39:14 $
[ HOME ] [ revalidate HTML ] [ revalidate CSS ]