Dr. David Scott (alumni)
User ID:djs55
Position:Visiting Research Associate
Homepage:http://dave.recoil.org /
Overview and Interests
My current interests lie in
  • security, especially at the application-level
  • ubiquitous computing
  • user interfaces
  • networking

1. Anil Madhavapeddy, David Scott, Richard Sharp, "SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions," 12th International SPIN Workshop on Model Checking of Software, Springer-Verlag, Aug 2005

2. Anil Madhavapeddy, Richard Sharp, David Scott, Alastair Tse, "Audio Networking: The Forgotten Wireless Technology," IEEE Pervasive Computing, vol. 4, no. 3, pp. 55-61, IEEE Computer Society, Jul 2005

3. Anil Madhavapeddy, David Scott, "On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers," 1st Workshop on Hot Topics In Systems Dependability (HotDep-05), Jun 2005

4. Eleanor Toye, Richard Sharp, Anil Madhavapeddy, David Scott, "Using Smart Phones to Access Site-Specific Services," IEEE Pervasive Computing Special Issue on The Smart Phone: A First Platform for Pervasive Computing, IEEE, Jun 2005

5. David Scott, "Abstracting Application-Level Security Policy for Ubiquitous Computing," Technical Report, UCAM-CL-TR-613, University of Cambridge, 2005

6. David Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton, "Using Camera-Enabled Personal Devices to Access Bluetooth Mobile Services," To Appear. Mobile Computing and Communications Review, ACM, 2005

7. Eleanor Toye, Anil Madhavapedy, Richard Sharp, David Scott, Alan Blackwell, Eben Upton, "Using camera-phones to interact with context-aware mobile services," Technical Report, UCAM-CL-TR-609, University of Cambridge, Computer Laboratory, Dec 2004

8. David Scott, "Abstracting Application-Level Security Policy for Ubiquitous Computing," PhD thesis, University of Cambridge, Dec 2004

9. Kieran Mansley, Alastair R. Beresford, David Scott, "The Carrot Approach: Encouraging use of location systems," UbiComp, Springer, Sep 2004

10. Anil Madhavapeddy, David Scott, Richard Sharp, Eben Upton, "Using Camera-Phones to Enhance Human-Computer Interaction," UbiComp (adjunct proceedings), Sep 2004

11. Kieran Mansley, David Scott, Alastair Tse, Anil Madhavapeddy, "Feedback, Latency, Accuracy: Exploring Tradeoffs in Location-Aware Gaming," NetGames 2004, in conjunction with ACM SIGCOMM 2004, Sheridan, Aug 2004

12. Anil Madhavapeddy, David Scott, Richard Sharp, "Context-Aware Computing with Sound," UbiComp 2003: Ubiquitous Computing, series LNCS, vol. 2864, pp. 315-332, Springer-Verlag, Oct 2003

13. David Scott, Richard Sharp, "Specifying and Enforcing Application-Level Web Security Policies," Transactions on Knowledge and Data Engineering (TKDE), vol. 15, no. 4, pp. 771-783, IEEE Computer Society Press, Jul 2003

14. Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp, "A Case for Abstract Security Policies," Fifth International Conference on Security and Management, Jun 2003

15. David Scott, Alastair Beresford, Alan Mycroft, "Spatial Policies for Sentient Mobile Applications," IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp. 147-157, IEEE, Jun 2003

16. David Scott, Alastair Beresford, Alan Mycroft, "Spatial Security Policies for Mobile Agents in a Sentient Computing environment," Fundamental Approaches to Software Engineering (FASE) 2003, series Lecture Notes in Computer Science, vol. 2621, pp. 102-117, Springer-Verlag, Apr 2003

17. David Scott, Richard Sharp, "Developing Secure Web Applications," IEEE Internet Computing special issue on the Technology of Trust, pp. 38-45, Nov 2002

18. David Scott, Richard Sharp, "Abstracting Application-level Web Security," 11th International World Wide Web Conference, ACM Press, May 2002

19. David Scott, Richard Sharp, "Abstracting Application-Level Web Security," Technical Report, 2001.11, AT&T Laboratories, Nov 2001

20. James "Wez" Weatherall, David Scott, "Mobile Computing with Python," The Ninth International Python Conference, pp. 87-96, Foretec Seminars, Inc., Mar 2001