Tom Chothia

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Rajiv Ranjan Singh

> Home > Persons > Tom Chothia

Publications

2020
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/SinghMCR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/SinghMCR20
Rajiv Ranjan Singh, José Moreira, Tom Chothia, Mark Dermot Ryan:
Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties. STM 2020: 3-21
2015
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsse/ChothiaNS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsse/ChothiaNS15
Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh:
Calculating Quantitative Integrity and Secrecy for Imperative Programs. Int. J. Secur. Softw. Eng. 6(2): 23-46 (2015)
2014
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/ChothiaNS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/ChothiaNS14
Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh:
Automatically Calculating Quantitative Integrity Measures for Imperative Programs. DPM/SETOP/QASA 2014: 250-265

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.