Skip to:

  • Skip to main content
  • Skip to accessibility
City, University of London
  • Student Hub
  • Staff Hub
Search
Menu
Home
  • Prospective students
    • Courses
      • Undergraduate degrees
      • Apprenticeships
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
        • Undergraduate
        • Apprenticeship
        • Information for teachers
        • Postgraduate taught
        • Postgraduate research
          • Preparing your application
            • Preparing your research proposal
          • All PhD research projects
        • Short courses
          • The Novel Studio published alumni
      • Prospectus
        • Undergraduate
        • Postgraduate
        • Short courses
      • Visas
        • Student visas
          • Applying from outside the UK
          • Applying from within the UK
          • Applying for a dependant visa
          • Preparing your application
          • Working in the UK
        • Standard Visitor visas
          • How to apply for a Standard Visitor Visa
          • Non-visa nationals
        • ATAS certificates
        • Brexit and European nationals
      • Study abroad programmes
        • Partnership programme
      • Clearing
        • Applying through Clearing
      • Alternative entry routes
        • Foundation programmes
        • Second-year students
        • Work experience
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
        • Payment methods
        • Fee schedules
        • Deposit refunds
      • Additional expenses
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
        • Undergraduate
        • Postgraduate
        • Clearing
      • Paying for halls
      • Private accommodation
        • Finding a place to live
        • Accommodation for families
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
        • Undergraduate online events
        • Postgraduate online events
        • Ask a student
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
        • Sport clubs
        • Non-competitive sport
        • Competitive sport
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
        • Mental health counselling
        • Learning support
        • Young, estranged students
        • Care leavers
        • Young adult carers
        • Personal tutoring programme
      • Learn another language
    • Career development
      • Placements, internships and employment opportunities
        • Micro-placements
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    • Research centres and groups
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
        • Research ethics
          • Principles
          • Approval process
          • Approval outcomes and appeals
          • External ethics approvals
        • Ethics guidance and resources
          • Participant information and consent
          • Recruiting participants from City
          • Records management
          • Research conducted abroad
          • FAQ
        • Research integrity
          • Framework for good practice in research
          • Research misconduct
      • Research data
        • Managing active research data
        • Digital research data and Figshare
      • Researcher development
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
        • Researcher Development Programme (DRDP)
      • Research Supervisors
  • For businesses
    • Start your business
      • Develop your startup idea
        • One-to-one startup advice
        • The Good Entrepreneur Festival
        • Startup Camp
        • Startup Seminars
        • Side Hustle
        • CitySpark Workshops
      • Launch your startup
        • Start-up visa
        • Launch Lab
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
        • What is the apprenticeship levy?
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
        • Become a mentor
        • Employer engagement events
        • Micro-Placements
        • Industry Led Projects
      • Information for placement partners
        • Speech and Language Therapy training
  • Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
        • City Alumni LinkedIn groups
        • MENA Alumni Board
        • US Alumni Board
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    • News
    • Events
    • Social media directory
      • City social accounts
        • WeChat social accounts
      • School and Departmental accounts
  • About us
    • Schools and Departments
      • School of Policy and Global Affairs
        • About the School
          • Athena SWAN
          • English for academic purposes (EAP)
        • Department of International Politics
        • Department of Sociology and Criminology
          • Postgraduate Sociology at City
        • Department of Economics
      • School of Communication and Creativity
        • About the School
          • Athena SWAN
        • Department of Journalism
          • James Cameron Memorial Lecture
            • Lectures
            • Special awards
            • Winners
        • Department of Media, Culture and Creative Industries
          • English, Publishing and Creative Writing
          • Culture and the Creative Industries
          • Library and Information Science
          • Media and Communications
        • Department of Performing Arts
      • Bayes Business School
      • School of Health and Psychological Sciences
        • About the School
          • Athena SWAN
          • Selection Process
          • Occupational Health Checks
          • Disclosure and Barring Service (DBS) enhanced check (formerly CRB)
          • MSc Nursing - RPL
          • Reference request
        • Department of Health Services Research and Management
          • Health Services Management at City
        • Department of Language and Communication Science
        • Department of Midwifery and Radiography
          • Radiography undergraduate learning contract
          • Midwifery at City
          • Radiography at City
        • Department of Nursing
        • Department of Optometry and Visual Sciences
        • Department of Psychology
      • School of Science and Technology
        • About the School
          • Athena SWAN
          • Aviation Management at City
          • Civil Engineering at City
          • Computer Science at City
          • Cyber Security MSc courses at City
          • Energy MSc courses at City
          • Library and Information Science at City
          • Maritime Management at City
          • Placements and internships
            • Placement and internship schemes
        • Department of Computer Science
        • Department of Mathematics
          • Potential PhD projects
        • Department of Engineering
      • The City Law School
        • Academic programmes
        • Professional programmes
        • About the School
          • Contact the City Law School
          • How to find us
          • Legal careers
          • Careers advice
            • Pupillage Advice Service
            • Training Contract Advisory Service
          • Courses
            • Undergraduate
            • Professional courses
            • Master of Laws (LLM)
            • The Solicitor’s Qualifying Exam (SQE)
            • Continuing Professional Development courses
          • Global Engagement
          • Pro-Bono
            • The School Exclusion Project
            • Start-Ed Commercial Law Clinic
          • Research
            • Working Paper Series
            • ESRC Project
            • Ethics
            • Global Law@City
            • The Critical Corporation Project
            • Academic Visitor Programme
            • International Trade Law and Regulation
          • Support
            • Financing your study
          • Athena SWAN in the Law School
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Vision
      • Strategy
        • Better
        • Bigger
        • Partnerships
        • Living the values
      • Performance
      • Academic excellence
        • Rankings
        • Education
          • Flexible learning spaces
          • Active and collaborative learning
          • Term dates
        • Student statistics
      • Equality, diversity and inclusion
        • Equality, Diversity and Inclusion Strategy
        • Data and objectives
        • Staff networks
      • Sustainable development
        • Get involved
        • Environmental Impact and Performance
      • Civic engagement
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
        • Audit and Risk Committee
        • Corporate Governance and Nominations Committee
        • Remuneration Committee
        • Strategy, Implementation and Performance Committee
      • Senate
        • Board of Studies
        • Collaborative Provision Committee
        • Educational Quality Committee
        • Research and Enterprise Committee
        • Senate Research Ethics Committee
      • Executive leadership
      • Financial statements
        • Financial Summary
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Admissions advice during coronavirus
        • Coronavirus accommodation information
      • Latest updates
      • Advice for visitors to our campus
  • Student Hub
  • Staff Hub
  • Prospective students
    Prospective students
    • Courses
      • Undergraduate degrees
      • Apprenticeships
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
      • Prospectus
      • Visas
      • Study abroad programmes
      • Clearing
      • Alternative entry routes
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
      • Additional expenses
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
      • Paying for halls
      • Private accommodation
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
      • Learn another language
    • Career development
      • Placements, internships and employment opportunities
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    Research
    • Research centres and groups
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
      • Research data
      • Researcher development
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
      • Research Supervisors
  • For businesses
    For businesses
    • Start your business
      • Develop your startup idea
      • Launch your startup
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
      • Information for placement partners
  • Alumni and supporters
    Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    News and events
    • News
    • Events
    • Social media directory
      • City social accounts
      • School and Departmental accounts
  • About us
    About us
    • Schools and Departments
      • School of Policy and Global Affairs
      • School of Communication and Creativity
      • Bayes Business School
      • School of Health and Psychological Sciences
      • School of Science and Technology
      • The City Law School
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Vision
      • Strategy
      • Performance
      • Academic excellence
      • Equality, diversity and inclusion
      • Sustainable development
      • Civic engagement
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
      • Senate
      • Executive leadership
      • Financial statements
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Admissions advice during coronavirus
      • Latest updates
      • Advice for visitors to our campus
Some of our Schools and departments are changing. Find out more.
  1. Home
  2. …
  3. People
  4. Academics
  5. Dr Sebastian Hunt
People
  • Academics
  • Research students
  • Students
  • Honorary graduates
  • Past students
  • Professional Services staff
  • International agents and representatives
  • Senior people
  • Extraordinary women
photo of Sebastian Hunt

Dr Sebastian Hunt

Senior Lecturer

School of Science and TechnologyDepartment of Computer Science

Contact details

  • +44 (0)20 7040 8440
  • sebastian.hunt.1@city.ac.uk

Address

Dr Sebastian Hunt A304H, College Building
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom
  • About
  • Research
  • Publications

About

Overview

Sebastian is a senior lecturer at City University London. His research lies within the area of Software and Systems Engineering. Following a first degree in physics & philosophy at the University of Bristol, he worked for a short time as a programmer before going on to study for an MSc in Computing at Imperial College, graduating with Distinction in 1986. He went on to work as a Research Assistant at Imperial while studying part time for his PhD, which he obtained in 1991. He joined City as a lecturer in 1992. His research is focussed on developing semantics and enforcement mechanisms for security policies dealing with information flow.

Qualifications

  1. PhD Computing, Imperial College London, United Kingdom, 1991
  2. MSc Computing, Imperial College London, United Kingdom, 1986
  3. BSc (Hons) Physics and Philosophy, University of Bristol, United Kingdom, 1983

Employment

  1. Senior Lecturer, City, University of London, 2005 – present
  2. Lecturer, City, University of London, 1992 – 2005
  3. Research Assistant, Imperial College London, 1986 – 1992
  4. Programmer, City Express, 1984 – 1985

Memberships of committees

  1. Programme Committee 14th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2013)
  2. Programme Committee 8th International Conference on Information Systems Security (ICISS 2012)

Memberships of professional organisations

  1. Educational Affiliate Employee, British Computer Society, Mar 2011 – present

Research

My research lies within the area of Software and Systems Engineering and is focussed on developing semantics and enforcement mechanisms for security policies dealing with information flow.

Publications

Publications by category

Chapter

  • Hunt, S. and Sands, D. (2020). New Program Abstractions for Privacy. From Lambda Calculus to Cybersecurity Through Program Analysis (pp. 256–267). Springer International Publishing. ISBN 978-3-030-41102-2.

Conference papers and proceedings (17)

  • Hunt, S. and Sands, D. (2021). A Quantale of Information. 2021 IEEE 34th Computer Security Foundations Symposium (CSF) 21-25 June.
  • Hunt, S. and Sands, D. (2011). From exponential to polynomial-time security typing via principal types. European Symposium on Programming 26 Mar 2011 – 3 Apr 2011, Saarbrücken, Germany.
  • Hunt, S., Askarov, A., Sabelfeld, A. and Sands, D. (2008). Termination-insensitive noninterference leaks more than just a bit. 13th European Symposium on Research in Computer Security October, Malaga, Spain.
  • Hunt, S. and Clark, D. (2008). Non-interference for deterministic interactive programs. 5th International Workshop on Formal Aspects in Security and Trust (FAST2008) October, Malaga, Spain.
  • Hunt, S. and Sands, D. (2008). Just forget it - The semantics and enforcement of information erasure. European Symposium on Programming 29 Mar 2008 – 6 Apr 2008, Budapest, Hungary.
  • Hunt, S. and Sands, D. (2008). Just forget it - The semantics and enforcement of information erasure.
  • Askarov, A., Hunt, S., Sabelfeld, A. and Sands, D. (2008). Termination-insensitive noninterference leaks more than just a bit.
  • Hunt, S. and Sands, D. (2006). On flow-sensitive security types. Principles of Programming Languages 11-13 January, Charleston, South Carolina, USA.
  • Hunt, S. and Sands, D. (2006). On flow-sensitive security types.
  • Hunt, S. and Mastroeni, I. (2005). The PER model of abstract non-interference.
  • Clark, D., Hankin, C. and Hunt, S. (2000). Safety of strictness analysis via term graph rewriting.
  • Hunt, S., Jampel, M., Jacquet, J.-.M. and Gilbert, D. (1996). Transformations between hclp and pcsp. Second International Conference on Principles and Practice of Constraint Programming August, Cambridge, Massachusetts, USA.
  • Jampel, M. and Hunt, S. (1995). Composition in hierarchical CLP.
  • Hunt, S. and Hankin, C. (1992). Approximate fixed points in abstract interpretation. 4th European Symposium on Programming.
  • Hunt, S. and Sands, D. (1991). Binding time analysis: a new perspective. Symposium on Partial Evaluation and Semantics-Based Program Manipulation.
  • Hunt, S. (1991). Pers generalise projections for strictness analysis (extended abstract). Glasgow Workshop on Functional Programming 1990, Ullapool.
  • Hunt, S. (1989). Frontiers and open sets in abstract interpretation. 4th Conference on Functional Programming Languages and Computer Architectures.

Journal articles (12)

  • van Delft, B., Hunt, S. and Sands, D. (2015). Very Static Enforcement of Dynamic Policies. pp. 32–52. doi:10.1007/978-3-662-46666-7_3.
  • Del Tedesco, F., Hunt, S. and Sands, D. (2011). A semantic hierarchy for erasure policies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7093 LNCS, pp. 352–369. doi:10.1007/978-3-642-25560-1_24.
  • Hunt, S., Clark, D. and Malacaria, P. (2007). A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security, 15(3), pp. 321–371.
  • Clark, D., Hunt, S. and Malacaria, P. (2005). Quantitative information flow, relations and polymorphic types. J LOGIC COMPUT, 15(2), pp. 181–199. doi:10.1093/logcom/exi009.
  • Clark, D., Hunt, S. and Malacaria, P. (2005). Quantified Interference for a while Language. Electronic Notes in Theoretical Computer Science, 112(SPEC. ISS.), pp. 149–166.
  • Hunt, S., Clark, D. and Malacaria, P. (2002). Quantitative analysis of the leakage of confidential data. Electronic Notes in Theoretical Computer Science, 59(3), pp. 1–14.
  • Clark, D., Hankin, C. and Hunt, S. (2002). Information flow for Algol-like languages. COMPUT LANG SYST STR, 28(1), pp. 3–28.
  • Clark, D., Hunt, S. and Malacaria, P. (2001). Quantitative Analysis of the Leakage of Confidential Data. Electr. Notes Theor. Comput. Sci., 59, pp. 238–251.
  • Hankin, C. and Hunt, S. (1994). Erratum to: Approximate fixed points in abstract interpretation. Science of Computer Programming, 23(1), pp. 103–103. doi:10.1016/0167-6423(94)00029-8.
  • Hunt, S. and Hankin, C. (1994). Approximate fixed points in abstract interpretation. Science of Computer Programming, 22(3), pp. 283–306.
  • Hunt, S. and Sands, D. (1991). Binding time analysis. ACM SIGPLAN Notices, 26(9), pp. 154–165. doi:10.1145/115866.115881.
  • Hunt, S. and Hankin, C. (1991). Fixed points and frontiers: a new perspective. Journal of Functional Programming, 1(1).

Help us to improve this page

City, University of London

  • Library Services
  • Moodle
  • Email
  • Staff directory
  • Term dates
  • Book a room
  • Schools and departments

Back to top

Contact us

+44 (0)20 7040 5060
Make an enquiry

  • Twitter
  • Facebook
  • Instagram
  • LinkedIn
  • YouTube
  • Weibo
  • Youku
  • WeChat
Social media directory

Find us

City, University of London
Northampton Square
London EC1V 0HB
United Kingdom

Campus map

Our global campuses

  • London
  • Dubai
  • Athena SWAN: Bronze Award
  • UKRI Research England logo

Useful links

  • Accessibility
  • Privacy policy
  • Cookies
  • City Store
  • Support City
  • Work for City
  • City Magazine
  • 中文

© 2022 City, University of London

University of London