Nicholas Coughlin

According to our database, Nicholas Coughlin authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Compositional Reasoning for Non-multicopy Atomic Architectures.

Nicholas Coughlin, Kirsten Winter, Graeme Smith

Formal Aspects Comput., June, 2023

Lift-off: Trustworthy ARMv8 semantics from formal specifications.

Kait Lam, Nicholas Coughlin

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Compositional noninterference on hardware weak memory models.

Nicholas Coughlin, Graeme Smith

Sci. Comput. Program., 2022

2021

Information-flow control on ARM and POWER multicore processors.

Graeme Smith, Nicholas Coughlin, Toby Murray

Formal Methods Syst. Des., 2021

Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.

Nicholas Coughlin, Kirsten Winter, Graeme Smith

Proceedings of the Formal Methods - 24th International Symposium, 2021

Backwards-directed information flow analysis for concurrent programs.

Kirsten Winter, Nicholas Coughlin, Graeme Smith

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms.

Nicholas Coughlin, Graeme Smith

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Value-Dependent Information-Flow Security on Weak Memory Models.

Graeme Smith, Nicholas Coughlin, Toby Murray

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019