2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 39)

H-INDEX

(FIVE YEARS 4)

Published By IEEE

9781728114071

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Meaning and Purpose of Attack Trees

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00020 ◽

2019 ◽

Cited By ~ 5

Author(s):

Heiko Mantel ◽

Christian W. Probst

Keyword(s):

Attack Trees ◽

Meaning And Purpose

Download Full-text

A Formal Approach to Secure Speculation

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00027 ◽

2019 ◽

Cited By ~ 4

Author(s):

Kevin Cheang ◽

Cameron Rasmussen ◽

Sanjit Seshia ◽

Pramod Subramanyan

Keyword(s):

Formal Approach

Download Full-text

Title Page ii

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00002 ◽

2019 ◽

Keyword(s):

Title Page

Download Full-text

Title Page i

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00001 ◽

2019 ◽

Keyword(s):

Title Page

Download Full-text

Author Index

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00038 ◽

2019 ◽

Download Full-text

Committees

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00006 ◽

2019 ◽

Download Full-text

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00004 ◽

2019 ◽

Download Full-text

Optimising Faceted Secure Multi-Execution

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00008 ◽

2019 ◽

Cited By ~ 1

Author(s):

Maximilian Algehed ◽

Alejandro Russo ◽

Cormac Flanagan

Download Full-text

Reviewers

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00007 ◽

2019 ◽

Download Full-text

Securing Cross-App Interactions in IoT Platforms

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00029 ◽

2019 ◽

Author(s):

Musard Balliu ◽

Massimo Merro ◽

Michele Pasqua

Keyword(s):

Iot Platforms

Download Full-text

2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

On the Meaning and Purpose of Attack Trees

A Formal Approach to Secure Speculation

Title Page ii

Title Page i

Author Index

Committees

Table of contents

Optimising Faceted Secure Multi-Execution

Reviewers

Securing Cross-App Interactions in IoT Platforms

Export Citation Format

2019 IEEE 32nd Computer Security Foundations Symposium (CSF)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

On the Meaning and Purpose of Attack Trees

A Formal Approach to Secure Speculation

Title Page ii

Title Page i

Author Index

Committees

Table of contents

Optimising Faceted Secure Multi-Execution

Reviewers

Securing Cross-App Interactions in IoT Platforms

2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
Latest Publications