Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrew P. Martin
@inproceedings{DBLP:conf/eurousec/ChalhoubM23,
author = {George Chalhoub and
Andrew Martin},
title = {But is it exploitable? Exploring how Router Vendors Manage and Patch
Security Vulnerabilities in Consumer-Grade Routers},
booktitle = {Proceedings of the 2023 European Symposium on Usable Security, EuroUSEC
2023, Copenhagen, Denmark, October 16-17, 2023},
pages = {277--295},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3617072.3617110},
doi = {10.1145/3617072.3617110},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurousec/ChalhoubM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cybersecurity/NugrahaM22,
author = {Yudhistira Nugraha and
Andrew Martin},
title = {Cybersecurity service level agreements: understanding government data
confidentiality requirements},
journal = {J. Cybersecur.},
volume = {8},
number = {1},
year = {2022},
url = {https://doi.org/10.1093/cybsec/tyac004},
doi = {10.1093/CYBSEC/TYAC004},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cybersecurity/NugrahaM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cybersa/ShereN022,
author = {Anjuli R. K. Shere and
Jason R. C. Nurse and
Andrew Martin},
editor = {Cyril Onwubiko and
Pierangelo Rosati and
Aunshul Rege and
Arnau Erola and
Xavier J. A. Bellekens and
Hanan Hindy and
Martin Gilje Jaatun},
title = {Threats to Journalists from the Consumer Internet of Things},
booktitle = {Proceedings of the International Conference on Cybersecurity, Situational
Awareness and Social Media, Cyber Science 2022, Wales, UK, June 20-21,
2022},
series = {Springer Proceedings in Complexity},
pages = {303--326},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-19-6414-5\_17},
doi = {10.1007/978-981-19-6414-5\_17},
timestamp = {Wed, 06 Sep 2023 16:51:41 +0200},
biburl = {https://dblp.org/rec/conf/cybersa/ShereN022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hasp/KucukMMMA22,
author = {Kubilay Ahmet K{\"{u}}{\c{c}}{\"{u}}k and
Steve Moyle and
Andrew Martin and
Alexandru Mereacre and
Nicholas Allott},
title = {SoK: How Not to Architect Your Next-Generation {TEE} Malware?},
booktitle = {Proceedings of the 11th International Workshop on Hardware and Architectural
Support for Security and Privacy, {HASP} 2022, Chicago, IL, USA, 1
October 2022},
pages = {35--44},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569562.3569568},
doi = {10.1145/3569562.3569568},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hasp/KucukMMMA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/OtungM22,
author = {Andikan Otung and
Andrew P. Martin},
title = {Towards Comparative Evaluation of DDoS Defences},
booktitle = {15th International Conference on Security of Information and Networks,
{SIN} 2022, Sousse, Tunisia, November 11-13, 2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SIN56466.2022.9970527},
doi = {10.1109/SIN56466.2022.9970527},
timestamp = {Thu, 29 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sin/OtungM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-06792,
author = {Kubilay Ahmet K{\"{u}}{\c{c}}{\"{u}}k and
Steve Moyle and
Andrew Martin and
Alexandru Mereacre and
Nicholas Allott},
title = {SoK: How Not to Architect Your Next-Generation {TEE} Malware?},
journal = {CoRR},
volume = {abs/2210.06792},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.06792},
doi = {10.48550/ARXIV.2210.06792},
eprinttype = {arXiv},
eprint = {2210.06792},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-06792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/NugrahaM21,
author = {Yudhistira Nugraha and
Andrew Martin},
title = {Towards a framework for trustworthy data security level agreement
in cloud procurement},
journal = {Comput. Secur.},
volume = {106},
pages = {102266},
year = {2021},
url = {https://doi.org/10.1016/j.cose.2021.102266},
doi = {10.1016/J.COSE.2021.102266},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/NugrahaM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-03868,
author = {Kubilay Ahmet K{\"{u}}{\c{c}}{\"{u}}k and
Andrew Martin},
title = {{CRC:} Fully General Model of Confidential Remote Computing},
journal = {CoRR},
volume = {abs/2104.03868},
year = {2021},
url = {https://arxiv.org/abs/2104.03868},
eprinttype = {arXiv},
eprint = {2104.03868},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-03868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/AlashwaliSM20,
author = {Eman Salem Alashwali and
Pawel Szalachowski and
Andrew Martin},
title = {Exploring {HTTPS} security inconsistencies: {A} cross-regional perspective},
journal = {Comput. Secur.},
volume = {97},
pages = {101975},
year = {2020},
url = {https://doi.org/10.1016/j.cose.2020.101975},
doi = {10.1016/J.COSE.2020.101975},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/AlashwaliSM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/OtungM20,
author = {Andikan Otung and
Andrew P. Martin},
editor = {Steven Furnell and
Paolo Mori and
Edgar R. Weippl and
Olivier Camp},
title = {Distributed Defence of Service (DiDoS): {A} Network-layer Reputation-based
DDoS Mitigation Architecture},
booktitle = {Proceedings of the 6th International Conference on Information Systems
Security and Privacy, {ICISSP} 2020, Valletta, Malta, February 25-27,
2020},
pages = {619--630},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009091206190630},
doi = {10.5220/0009091206190630},
timestamp = {Thu, 29 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/OtungM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-10170,
author = {Eman Salem Alashwali and
Pawel Szalachowski and
Andrew P. Martin},
title = {Exploring {HTTPS} Security Inconsistencies: {A} Cross-Regional Perspective},
journal = {CoRR},
volume = {abs/2010.10170},
year = {2020},
url = {https://arxiv.org/abs/2010.10170},
eprinttype = {arXiv},
eprint = {2010.10170},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-10170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlashwaliSM20,
author = {Eman Salem Alashwali and
Pawel Szalachowski and
Andrew Martin},
title = {Exploring {HTTPS} Security Inconsistencies: {A} Cross-Regional Perspective},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {79},
year = {2020},
url = {https://eprint.iacr.org/2020/079},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/AlashwaliSM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/AkinrolabuNMN19,
author = {Olusola Akinrolabu and
Jason R. C. Nurse and
Andrew P. Martin and
Steve New},
title = {Cyber risk assessment in cloud provider environments: Current models
and future needs},
journal = {Comput. Secur.},
volume = {87},
year = {2019},
url = {https://doi.org/10.1016/j.cose.2019.101600},
doi = {10.1016/J.COSE.2019.101600},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/AkinrolabuNMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/AkinrolabuNM19,
author = {Olusola Akinrolabu and
Steve New and
Andrew Martin},
title = {{CSCCRA:} {A} Novel Quantitative Risk Assessment Model for SaaS Cloud
Service Providers},
journal = {Comput.},
volume = {8},
number = {3},
pages = {66},
year = {2019},
url = {https://doi.org/10.3390/computers8030066},
doi = {10.3390/COMPUTERS8030066},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/AkinrolabuNM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsur/KumarLBPDM19,
author = {Pardeep Kumar and
Yun Lin and
Guangdong Bai and
Andrew Paverd and
Jin Song Dong and
Andrew P. Martin},
title = {Smart Grid Metering Networks: {A} Survey on Security, Privacy and
Open Research Issues},
journal = {{IEEE} Commun. Surv. Tutorials},
volume = {21},
number = {3},
pages = {2886--2927},
year = {2019},
url = {https://doi.org/10.1109/COMST.2019.2899354},
doi = {10.1109/COMST.2019.2899354},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsur/KumarLBPDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejisec/KucukGM19,
author = {Kubilay Ahmet K{\"{u}}{\c{c}}{\"{u}}k and
David Grawrock and
Andrew Martin},
title = {Managing confidentiality leaks through private algorithms on Software
Guard eXtensions {(SGX)} enclaves},
journal = {{EURASIP} J. Inf. Secur.},
volume = {2019},
pages = {14},
year = {2019},
url = {https://doi.org/10.1186/s13635-019-0091-5},
doi = {10.1186/S13635-019-0091-5},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejisec/KucukGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsg/KumarGSMH19,
author = {Pardeep Kumar and
Andrei V. Gurtov and
Mangal Sain and
Andrew P. Martin and
Phuong Hoai Ha},
title = {Lightweight Authentication and Key Agreement for Smart Metering in
Smart Energy Networks},
journal = {{IEEE} Trans. Smart Grid},
volume = {10},
number = {4},
pages = {4349--4359},
year = {2019},
url = {https://doi.org/10.1109/TSG.2018.2857558},
doi = {10.1109/TSG.2018.2857558},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsg/KumarGSMH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/AlashwaliSM19,
author = {Eman Salem Alashwali and
Pawel Szalachowski and
Andrew Martin},
title = {Does "www." Mean Better Transport Layer Security?},
booktitle = {Proceedings of the 14th International Conference on Availability,
Reliability and Security, {ARES} 2019, Canterbury, UK, August 26-29,
2019},
pages = {23:1--23:7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3339252.3339277},
doi = {10.1145/3339252.3339277},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/AlashwaliSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscloud/AkinrolabuNM19,
author = {Olusola Akinrolabu and
Steve New and
Andrew Martin},
editor = {Meikang Qiu},
title = {Assessing the Security Risks of Multicloud SaaS Applications: {A}
Real-World Case Study},
booktitle = {6th {IEEE} International Conference on Cyber Security and Cloud Computing,
CSCloud 2019 / 5th {IEEE} International Conference on Edge Computing
and Scalable Cloud, EdgeCom 2019, Paris, France, June 21-23, 2019},
pages = {81--88},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CSCloud/EdgeCom.2019.00-14},
doi = {10.1109/CSCLOUD/EDGECOM.2019.00-14},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/cscloud/AkinrolabuNM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/AlashwaliSM19,
author = {Eman Salem Alashwali and
Pawel Szalachowski and
Andrew Martin},
editor = {Songqing Chen and
Kim{-}Kwang Raymond Choo and
Xinwen Fu and
Wenjing Lou and
Aziz Mohaisen},
title = {Towards Forward Secure Internet Traffic},
booktitle = {Security and Privacy in Communication Networks - 15th {EAI} International
Conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019,
Proceedings, Part {I}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {304},
pages = {341--364},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37228-6\_17},
doi = {10.1007/978-3-030-37228-6\_17},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/AlashwaliSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-06505,
author = {Eman Salem Alashwali and
Pawel Szalachowski and
Andrew Martin},
title = {Does "www." Mean Better Transport Layer Security?},
journal = {CoRR},
volume = {abs/1906.06505},
year = {2019},
url = {http://arxiv.org/abs/1906.06505},
eprinttype = {arXiv},
eprint = {1906.06505},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-06505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00231,
author = {Eman Salem Alashwali and
Pawel Szalachowski and
Andrew Martin},
title = {Towards Forward Secure Internet Traffic},
journal = {CoRR},
volume = {abs/1907.00231},
year = {2019},
url = {http://arxiv.org/abs/1907.00231},
eprinttype = {arXiv},
eprint = {1907.00231},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06405,
author = {Zhaoming Yin and
Anbang Ruan and
Ming Wei and
Huafeng Li and
Kai Yuan and
Junqing Wang and
Yahui Wang and
Ming Ni and
Andrew P. Martin},
title = {StreamNet: {A} {DAG} System with Streaming Graph Computing},
journal = {CoRR},
volume = {abs/1908.06405},
year = {2019},
url = {http://arxiv.org/abs/1908.06405},
eprinttype = {arXiv},
eprint = {1908.06405},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlashwaliSM19,
author = {Eman Salem Alashwali and
Pawel Szalachowski and
Andrew Martin},
title = {Towards Forward Secure Internet Traffic},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {821},
year = {2019},
url = {https://eprint.iacr.org/2019/821},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/AlashwaliSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlashwaliSM19a,
author = {Eman Salem Alashwali and
Pawel Szalachowski and
Andrew Martin},
title = {Does "www." Mean Better Transport Layer Security?},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {941},
year = {2019},
url = {https://eprint.iacr.org/2019/941},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/AlashwaliSM19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ojcc/AkinrolabuNM18,
author = {Olusola Akinrolabu and
Steve New and
Andrew Martin},
title = {Cyber Supply Chain Risks in Cloud Computing - Bridging the Risk Assessment
Gap},
journal = {Open J. Cloud Comput.},
volume = {5},
number = {1},
pages = {1--19},
year = {2018},
url = {https://www.ronpub.com/ojcc/OJCC\_2018v5i1n01\_Akinrolabu.html},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ojcc/AkinrolabuNM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emcis/AkinrolabuNM18,
author = {Olusola Akinrolabu and
Steve New and
Andrew Martin},
editor = {Marinos Themistocleous and
Paulo Rupino da Cunha},
title = {{CSCCRA:} {A} Novel Quantitative Risk Assessment Model for Cloud Service
Providers},
booktitle = {Information Systems - 15th European, Mediterranean, and Middle Eastern
Conference, {EMCIS} 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {341},
pages = {177--184},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11395-7\_16},
doi = {10.1007/978-3-030-11395-7\_16},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emcis/AkinrolabuNM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/Atamli-ReinehPP17,
author = {Ahmad Atamli{-}Reineh and
Andrew Paverd and
Giuseppe Petracca and
Andrew P. Martin},
title = {A framework for application partitioning using trusted execution environments},
journal = {Concurr. Comput. Pract. Exp.},
volume = {29},
number = {23},
year = {2017},
url = {https://doi.org/10.1002/cpe.4130},
doi = {10.1002/CPE.4130},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/Atamli-ReinehPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiii/Viriyasitavat017,
author = {Wattana Viriyasitavat and
Andrew Martin},
title = {The reviews and analysis of the state-of-the-art service workflow
specification languages},
journal = {J. Ind. Inf. Integr.},
volume = {8},
pages = {1--7},
year = {2017},
url = {https://doi.org/10.1016/j.jii.2017.07.002},
doi = {10.1016/J.JII.2017.07.002},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jiii/Viriyasitavat017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/RuanM17,
author = {Anbang Ruan and
Andrew P. Martin},
title = {RepCloud: Attesting to Cloud Service Dependency},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {10},
number = {5},
pages = {675--688},
year = {2017},
url = {https://doi.org/10.1109/TSC.2016.2558513},
doi = {10.1109/TSC.2016.2558513},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/RuanM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic2e/NugrahaM17,
author = {Yudhistira Nugraha and
Andrew Martin},
title = {Towards the Classification of Confidentiality Capabilities in Trustworthy
Service Level Agreements},
booktitle = {2017 {IEEE} International Conference on Cloud Engineering, {IC2E}
2017, Vancouver, BC, Canada, April 4-7, 2017},
pages = {304--310},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IC2E.2017.48},
doi = {10.1109/IC2E.2017.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic2e/NugrahaM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/NugrahaM17,
author = {Yudhistira Nugraha and
Andrew Martin},
editor = {Jan{-}Philipp Stegh{\"{o}}fer and
Babak Esfandiari},
title = {Investigating Security Capabilities in Service Level Agreements as
Trust-Enhancing Instruments},
booktitle = {Trust Management {XI} - 11th {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2017, Gothenburg, Sweden, June 12-16, 2017, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {505},
pages = {57--75},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59171-1\_6},
doi = {10.1007/978-3-319-59171-1\_6},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/NugrahaM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BalisaneBAM17,
author = {Ranjbar A. Balisane and
Ravishankar Borgaonkar and
Ahmad Atamli{-}Reineh and
Andrew Martin},
title = {Architectures for Enhancing Authentication Privacy and Security using
Trusted Computing},
booktitle = {Proceedings of the 2nd Workshop on System Software for Trusted Execution,
SysTEX@SOSP 2017, Shanghai, China, October 28, 2017},
pages = {10:1--10:7},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152701.3152713},
doi = {10.1145/3152701.3152713},
timestamp = {Sun, 18 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BalisaneBAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woot/ParkSBMS17,
author = {Shinjo Park and
Altaf Shaik and
Ravishankar Borgaonkar and
Andrew Martin and
Jean{-}Pierre Seifert},
editor = {William Enck and
Collin Mulliner},
title = {White-Stingray: Evaluating {IMSI} Catchers Detection Applications},
booktitle = {11th {USENIX} Workshop on Offensive Technologies, {WOOT} 2017, Vancouver,
BC, Canada, August 14-15, 2017},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/woot17/workshop-program/presentation/park},
timestamp = {Sun, 18 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woot/ParkSBMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Atamli-ReinehM17,
author = {Ahmad Atamli{-}Reineh and
Andrew P. Martin},
title = {Securing Application with Software Partitioning: {A} case study using
{SGX}},
journal = {CoRR},
volume = {abs/1706.03006},
year = {2017},
url = {http://arxiv.org/abs/1706.03006},
eprinttype = {arXiv},
eprint = {1706.03006},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Atamli-ReinehM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/RuanWMBW16,
author = {Anbang Ruan and
Ming Wei and
Andrew P. Martin and
David Blundell and
David Wallom},
title = {Breaking Down the Monarchy: Achieving Trustworthy and Open Cloud Ecosystem
Governance with Separation-of-Powers},
booktitle = {9th {IEEE} International Conference on Cloud Computing, {CLOUD} 2016,
San Francisco, CA, USA, June 27 - July 2, 2016},
pages = {505--512},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CLOUD.2016.0073},
doi = {10.1109/CLOUD.2016.0073},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/RuanWMBW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/NurseAM16,
author = {Jason R. C. Nurse and
Ahmad Atamli and
Andrew P. Martin},
editor = {Theo Tryfonas},
title = {Towards a Usable Framework for Modelling Security and Privacy Risks
in the Smart Home},
booktitle = {Human Aspects of Information Security, Privacy, and Trust - 4th International
Conference, {HAS} 2016, Held as Part of {HCI} International 2016,
Toronto, ON, Canada, July 17-22, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9750},
pages = {255--267},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39381-0\_23},
doi = {10.1007/978-3-319-39381-0\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/NurseAM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/KucukPMASA16,
author = {Kubilay Ahmet K{\"{u}}{\c{c}}{\"{u}}k and
Andrew Paverd and
Andrew Martin and
N. Asokan and
Andrew Simpson and
Robin Ankele},
title = {Exploring the use of Intel {SGX} for Secure Many-Party Applications},
booktitle = {Proceedings of the 1st Workshop on System Software for Trusted Execution,
SysTEX@Middleware 2016, Trento, Italy, December 12, 2016},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3007788.3007793},
doi = {10.1145/3007788.3007793},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/middleware/KucukPMASA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/Atamli-ReinehBB16,
author = {Ahmad Atamli{-}Reineh and
Ravishankar Borgaonkar and
Ranjbar A. Balisane and
Giuseppe Petracca and
Andrew P. Martin},
title = {Analysis of Trusted Execution Environment usage in Samsung {KNOX}},
booktitle = {Proceedings of the 1st Workshop on System Software for Trusted Execution,
SysTEX@Middleware 2016, Trento, Italy, December 12, 2016},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3007788.3007795},
doi = {10.1145/3007788.3007795},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/middleware/Atamli-ReinehBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/AnkeleKMSP16,
author = {Robin Ankele and
Kubilay Ahmet K{\"{u}}{\c{c}}{\"{u}}k and
Andrew Martin and
Andrew Simpson and
Andrew Paverd},
title = {Applying the Trustworthy Remote Entity to Privacy-Preserving Multiparty
Computation: Requirements and Criteria for Large-Scale Applications},
booktitle = {2016 Intl {IEEE} Conferences on Ubiquitous Intelligence {\&} Computing,
Advanced and Trusted Computing, Scalable Computing and Communications,
Cloud and Big Data Computing, Internet of People, and Smart World
Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld), Toulouse, France,
July 18-21, 2016},
pages = {414--422},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0077},
doi = {10.1109/UIC-ATC-SCALCOM-CBDCOM-IOP-SMARTWORLD.2016.0077},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/AnkeleKMSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Atamli-ReinehPM16,
author = {Ahmad Atamli{-}Reineh and
Andrew J. Paverd and
Andrew P. Martin},
title = {Trustworthy and Secure Service-Oriented Architecture for the Internet
of Things},
journal = {CoRR},
volume = {abs/1606.01671},
year = {2016},
url = {http://arxiv.org/abs/1606.01671},
eprinttype = {arXiv},
eprint = {1606.01671},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Atamli-ReinehPM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Atamli-ReinehPU16,
author = {Ahmad Atamli{-}Reineh and
Giuseppe Petracca and
Janne Uusilehto and
Andrew P. Martin},
title = {Enabling Secure and Usable Mobile Application: Revealing the Nuts
and Bolts of software {TPM} in todays Mobile Devices},
journal = {CoRR},
volume = {abs/1606.02995},
year = {2016},
url = {http://arxiv.org/abs/1606.02995},
eprinttype = {arXiv},
eprint = {1606.02995},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Atamli-ReinehPU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/KwiatKKTM15,
author = {Luke Kwiat and
Charles A. Kamhoua and
Kevin A. Kwiat and
Jian Tang and
Andrew P. Martin},
editor = {Calton Pu and
Ajay Mohindra},
title = {Security-Aware Virtual Machine Allocation in the Cloud: {A} Game Theoretic
Approach},
booktitle = {8th {IEEE} International Conference on Cloud Computing, {CLOUD} 2015,
New York City, NY, USA, June 27 - July 2, 2015},
pages = {556--563},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CLOUD.2015.80},
doi = {10.1109/CLOUD.2015.80},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/KwiatKKTM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscloud/KamhouaMTKHS15,
author = {Charles A. Kamhoua and
Andrew P. Martin and
Deepak K. Tosh and
Kevin A. Kwiat and
Chad Heitzenrater and
Shamik Sengupta},
title = {Cyber-Threats Information Sharing in Cloud Computing: {A} Game Theoretic
Approach},
booktitle = {{IEEE} 2nd International Conference on Cyber Security and Cloud Computing,
CSCloud 2015, New York, NY, USA, November 3-5, 2015},
pages = {382--389},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSCloud.2015.80},
doi = {10.1109/CSCLOUD.2015.80},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cscloud/KamhouaMTKHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/ToshSKKM15,
author = {Deepak K. Tosh and
Shamik Sengupta and
Charles A. Kamhoua and
Kevin A. Kwiat and
Andrew P. Martin},
title = {An evolutionary game-theoretic framework for cyber-threat information
sharing},
booktitle = {2015 {IEEE} International Conference on Communications, {ICC} 2015,
London, United Kingdom, June 8-12, 2015},
pages = {7341--7346},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICC.2015.7249499},
doi = {10.1109/ICC.2015.7249499},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/ToshSKKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SimpsonMCFMR15,
author = {Andrew C. Simpson and
Andrew P. Martin and
Cas Cremers and
Ivan Flechais and
Ivan Martinovic and
Kasper Bonne Rasmussen},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Experiences in Developing and Delivering a Programme of Part-Time
Education in Software and Systems Security},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {435--444},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.176},
doi = {10.1109/ICSE.2015.176},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SimpsonMCFMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/Atamli-ReinehM15,
author = {Ahmad Atamli{-}Reineh and
Andrew P. Martin},
editor = {Bhavani Thuraisingham and
XiaoFeng Wang and
Vinod Yegneswaran},
title = {Securing Application with Software Partitioning: {A} Case Study Using
{SGX}},
booktitle = {Security and Privacy in Communication Networks - 11th International
Conference, SecureComm 2015, Dallas, TX, USA, October 26-29, 2015,
Revised Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {164},
pages = {605--621},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28865-9\_40},
doi = {10.1007/978-3-319-28865-9\_40},
timestamp = {Wed, 29 Jun 2022 15:37:43 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/Atamli-ReinehM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/KamhouaRMK15,
author = {Charles A. Kamhoua and
Anbang Ruan and
Andrew P. Martin and
Kevin A. Kwiat},
editor = {Ioan Raicu and
Omer F. Rana and
Rajkumar Buyya},
title = {On the Feasibility of an Open-Implementation Cloud Infrastructure:
{A} Game Theoretic Analysis},
booktitle = {8th {IEEE/ACM} International Conference on Utility and Cloud Computing,
{UCC} 2015, Limassol, Cyprus, December 7-10, 2015},
pages = {217--226},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.ieeecomputersociety.org/10.1109/UCC.2015.38},
doi = {10.1109/UCC.2015.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ucc/KamhouaRMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArachchilageM15,
author = {Nalin Asanka Gamagedara Arachchilage and
Andrew P. Martin},
title = {A Trust Domains Taxonomy for Securely Sharing Information: {A} Preliminary
Investigation},
journal = {CoRR},
volume = {abs/1511.04541},
year = {2015},
url = {http://arxiv.org/abs/1511.04541},
eprinttype = {arXiv},
eprint = {1511.04541},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArachchilageM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArachchilageNM15,
author = {Nalin Asanka Gamagedara Arachchilage and
Cornelius Namiluko and
Andrew P. Martin},
title = {Developing a Trust Domain Taxonomy for Securely Sharing Information
Among Others},
journal = {CoRR},
volume = {abs/1512.06307},
year = {2015},
url = {http://arxiv.org/abs/1512.06307},
eprinttype = {arXiv},
eprint = {1512.06307},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArachchilageNM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BaiHWLLM14,
author = {Guangdong Bai and
Jianan Hao and
Jianliang Wu and
Yang Liu and
Zhenkai Liang and
Andrew P. Martin},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {TrustFound: Towards a Formal Foundation for Model Checking Trusted
Computing Platforms},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {110--126},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_8},
doi = {10.1007/978-3-319-06410-9\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BaiHWLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haisa/ArachchilageM14,
author = {Nalin Asanka Gamagedara Arachchilage and
Andrew P. Martin},
editor = {Nathan L. Clarke and
Steven Furnell},
title = {A Trust Domains Taxonomy for Securely Sharing Information: {A} Preliminary
Investigation},
booktitle = {Eighth International Symposium on Human Aspects of Information Security
{\&} Assurance, {HAISA} 2014 ,Plymouth, UK, July 8-9, 2014. Proceedings},
pages = {53--68},
publisher = {University of Plymouth},
year = {2014},
url = {http://www.cscan.org/openaccess/?paperid=250},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haisa/ArachchilageM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intrust/RuanM14,
author = {Anbang Ruan and
Andrew P. Martin},
editor = {Moti Yung and
Liehuang Zhu and
Yanjiang Yang},
title = {NeuronVisor: Defining a Fine-Grained Cloud Root-of-Trust},
booktitle = {Trusted Systems - 6th International Conference, {INTRUST} 2014, Beijing,
China, December 16-17, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9473},
pages = {184--200},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-27998-5\_12},
doi = {10.1007/978-3-319-27998-5\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/intrust/RuanM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siot/AtamliM14,
author = {Ahmad Atamli and
Andrew P. Martin},
editor = {Gabriel Ghinita and
Razvan Rughinis and
Ahmad{-}Reza Sadeghi},
title = {Threat-Based Security Analysis for the Internet of Things},
booktitle = {2014 International Workshop on Secure Internet of Things, SIoT 2014,
Wroclaw, Poland, September 10, 2014},
pages = {35--43},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SIoT.2014.10},
doi = {10.1109/SIOT.2014.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/siot/AtamliM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridcomm/PaverdMB14,
author = {Andrew J. Paverd and
Andrew P. Martin and
Ian Brown},
title = {Privacy-enhanced bi-directional communication in the Smart Grid using
trusted computing},
booktitle = {2014 {IEEE} International Conference on Smart Grid Communications,
SmartGridComm 2014, Venice, Italy, November 3-6, 2014},
pages = {872--877},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SmartGridComm.2014.7007758},
doi = {10.1109/SMARTGRIDCOMM.2014.7007758},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/smartgridcomm/PaverdMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridsec/PaverdMB14,
author = {Andrew J. Paverd and
Andrew P. Martin and
Ian Brown},
editor = {Jorge Cu{\'{e}}llar},
title = {Security and Privacy in Smart Grid Demand Response Systems},
booktitle = {Smart Grid Security - Second International Workshop, SmartGridSec
2014, Munich, Germany, February 26, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8448},
pages = {1--15},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10329-7\_1},
doi = {10.1007/978-3-319-10329-7\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartgridsec/PaverdMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridsec/King-LacroixM14,
author = {Justin King{-}Lacroix and
Andrew P. Martin},
editor = {Jorge Cu{\'{e}}llar},
title = {{KEDS:} Decentralised Network Security for the Smart Home Environment},
booktitle = {Smart Grid Security - Second International Workshop, SmartGridSec
2014, Munich, Germany, February 26, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8448},
pages = {63--78},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10329-7\_5},
doi = {10.1007/978-3-319-10329-7\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartgridsec/King-LacroixM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wisec/2014,
editor = {Gergely {\'{A}}cs and
Andrew P. Martin and
Ivan Martinovic and
Claude Castelluccia and
Patrick Traynor},
title = {7th {ACM} Conference on Security {\&} Privacy in Wireless and
Mobile Networks, WiSec'14, Oxford, United Kingdom, July 23-25, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2627393},
isbn = {978-1-4503-2972-9},
timestamp = {Thu, 02 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wisec/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/ArachchilageNM13,
author = {Nalin Asanka Gamagedara Arachchilage and
Cornelius Namiluko and
Andrew P. Martin},
title = {A taxonomy for securely sharing information among others in a trust
domain},
booktitle = {8th International Conference for Internet Technology and Secured Transactions,
{ICITST} 2013, London, United Kingdom, December 9-12, 2013},
pages = {296--304},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICITST.2013.6750210},
doi = {10.1109/ICITST.2013.6750210},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icitst/ArachchilageNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsur/ViriyasitavatM12,
author = {Wattana Viriyasitavat and
Andrew P. Martin},
title = {A Survey of Trust in Workflows and Relevant Contexts},
journal = {{IEEE} Commun. Surv. Tutorials},
volume = {14},
number = {3},
pages = {911--940},
year = {2012},
url = {https://doi.org/10.1109/SURV.2011.072811.00081},
doi = {10.1109/SURV.2011.072811.00081},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsur/ViriyasitavatM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/ViriyasitavatXM12,
author = {Wattana Viriyasitavat and
Li Da Xu and
Andrew P. Martin},
title = {SWSpec: The Requirements Specification Language in Service Workflow
Environments},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {8},
number = {3},
pages = {631--638},
year = {2012},
url = {https://doi.org/10.1109/TII.2011.2182519},
doi = {10.1109/TII.2011.2182519},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/ViriyasitavatXM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/XuVRM12,
author = {Li Da Xu and
Wattana Viriyasitavat and
Puripant Ruchikachorn and
Andrew P. Martin},
title = {Using Propositional Logic for Requirements Verification of Service
Workflow},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {8},
number = {3},
pages = {639--646},
year = {2012},
url = {https://doi.org/10.1109/TII.2012.2187908},
doi = {10.1109/TII.2012.2187908},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/XuVRM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/LyleFFPGMDM12,
author = {John Lyle and
Shamal Faily and
Ivan Flechais and
Andr{\'{e}} Paul and
Ayse G{\"{o}}ker and
Hans I. Myrhaug and
Heiko Desruelle and
Andrew P. Martin},
editor = {Karl M. G{\"{o}}schka and
Seif Haridi},
title = {On the Design and Development of webinos: {A} Distributed Mobile Application
Middleware},
booktitle = {Distributed Applications and Interoperable Systems - 12th {IFIP} {WG}
6.1 International Conference, {DAIS} 2012, Stockholm, Sweden, June
13-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7272},
pages = {140--147},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30823-9\_12},
doi = {10.1007/978-3-642-30823-9\_12},
timestamp = {Tue, 21 Mar 2023 20:54:01 +0100},
biburl = {https://dblp.org/rec/conf/dais/LyleFFPGMDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/RuanM12,
author = {Anbang Ruan and
Andrew P. Martin},
title = {{TMR:} Towards a Trusted MapReduce Infrastructure},
booktitle = {Eighth {IEEE} World Congress on Services, {SERVICES} 2012, Honolulu,
HI, USA, June 24-29, 2012},
pages = {141--148},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SERVICES.2012.28},
doi = {10.1109/SERVICES.2012.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/RuanM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridsec/PaverdM12,
author = {Andrew J. Paverd and
Andrew P. Martin},
editor = {Jorge Cu{\'{e}}llar},
title = {Hardware Security for Device Authentication in the Smart Grid},
booktitle = {Smart Grid Security - First International Workshop, SmartGridSec 2012,
Berlin, Germany, December 3, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7823},
pages = {72--84},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38030-3\_5},
doi = {10.1007/978-3-642-38030-3\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartgridsec/PaverdM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/MartinLN12,
author = {Andrew P. Martin and
John Lyle and
Cornelius Namiluko},
editor = {Umut A. Acar and
Todd J. Green},
title = {Provenance as a Security Control},
booktitle = {4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston,
MA, USA, June 14-15, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/tapp12/workshop-program/presentation/martin},
timestamp = {Tue, 02 Feb 2021 08:04:55 +0100},
biburl = {https://dblp.org/rec/conf/tapp/MartinLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trust/NamilukoM12,
author = {Cornelius Namiluko and
Andrew P. Martin},
editor = {Stefan Katzenbeisser and
Edgar R. Weippl and
L. Jean Camp and
Melanie Volkamer and
Mike K. Reiter and
Xinwen Zhang},
title = {Provenance-Based Model for Verifying Trust-Properties},
booktitle = {Trust and Trustworthy Computing - 5th International Conference, {TRUST}
2012, Vienna, Austria, June 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7344},
pages = {255--272},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30921-2\_15},
doi = {10.1007/978-3-642-30921-2\_15},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trust/NamilukoM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/WallomTMRTHM12,
author = {David Wallom and
Matteo Turilli and
Andrew P. Martin and
Anbang Ruan and
Gareth A. Taylor and
Nigel Hargreaves and
Alan McMoran},
editor = {Tomi M{\"{a}}nnist{\"{o}} and
Muhammad Ali Babar and
Carlos E. Cuesta and
Juha Erik Savolainen},
title = {myTrustedCloud: trusted cloud infrastructure for security-critical
computation and data management},
booktitle = {2012 Joint Working {IEEE/IFIP} Conference on Software Architecture
and European Conference on Software Architecture, {WICSA/ECSA} 2012,
Helsinki, Finland, August 20-24, 2012 - Companion Volume},
series = {{ACM} International Conference Proceeding Series},
volume = {704},
pages = {82--83},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2361999.2362014},
doi = {10.1145/2361999.2362014},
timestamp = {Fri, 14 Apr 2023 23:05:46 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/WallomTMRTHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/BannermanM11,
author = {Steve Bannerman and
Andrew P. Martin},
title = {A multiple comparative study of test-with development product changes
and their effects on team speed and product quality},
journal = {Empir. Softw. Eng.},
volume = {16},
number = {2},
pages = {177--210},
year = {2011},
url = {https://doi.org/10.1007/s10664-010-9137-5},
doi = {10.1007/S10664-010-9137-5},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/BannermanM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/HuhLNM11,
author = {Jun Ho Huh and
John Lyle and
Cornelius Namiluko and
Andrew P. Martin},
title = {Managing application whitelists in trusted distributed systems},
journal = {Future Gener. Comput. Syst.},
volume = {27},
number = {2},
pages = {211--226},
year = {2011},
url = {https://doi.org/10.1016/j.future.2010.08.014},
doi = {10.1016/J.FUTURE.2010.08.014},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/HuhLNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/AbbadiM11,
author = {Imad M. Abbadi and
Andrew P. Martin},
title = {Trust in the Cloud},
journal = {Inf. Secur. Tech. Rep.},
volume = {16},
number = {3-4},
pages = {108--114},
year = {2011},
url = {https://doi.org/10.1016/j.istr.2011.08.006},
doi = {10.1016/J.ISTR.2011.08.006},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/istr/AbbadiM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/RuanM11,
author = {Anbang Ruan and
Andrew P. Martin},
editor = {Yan Chen and
Shouhuai Xu and
Ahmad{-}Reza Sadeghi and
Xinwen Zhang},
title = {RepCloud: achieving fine-grained cloud {TCB} attestation with reputation
systems},
booktitle = {Proceedings of the sixth {ACM} workshop on Scalable trusted computing,
STC@CCS 2011, Chicago, Illinois, USA, October 17, 2011},
pages = {3--14},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2046582.2046586},
doi = {10.1145/2046582.2046586},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/RuanM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HuhKLM11,
author = {Jun Ho Huh and
Hyoungshick Kim and
John Lyle and
Andrew P. Martin},
editor = {Yan Chen and
Shouhuai Xu and
Ahmad{-}Reza Sadeghi and
Xinwen Zhang},
title = {Achieving attestation with less effort: an indirect and configurable
approach to integrity reporting},
booktitle = {Proceedings of the sixth {ACM} workshop on Scalable trusted computing,
STC@CCS 2011, Chicago, Illinois, USA, October 17, 2011},
pages = {31--36},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2046582.2046589},
doi = {10.1145/2046582.2046589},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/HuhKLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/WallomTMRTHM11,
author = {David Wallom and
Matteo Turilli and
Andrew P. Martin and
Anbang Ruan and
Gareth A. Taylor and
Nigel Hargreaves and
Alan McMoran},
editor = {Costas Lambrinoudakis and
Panagiotis Rizomiliotis and
Tomasz Wiktor Wlodarczyk},
title = {myTrustedCloud: Trusted Cloud Infrastructure for Security-critical
Computation and Data Managment},
booktitle = {{IEEE} 3rd International Conference on Cloud Computing Technology
and Science, CloudCom 2011, Athens, Greece, November 29 - December
1, 2011},
pages = {247--254},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CloudCom.2011.41},
doi = {10.1109/CLOUDCOM.2011.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/WallomTMRTHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ViriyasitavatM11,
author = {Wattana Viriyasitavat and
Andrew P. Martin},
editor = {Runtong Zhang and
Jos{\'{e}} Cordeiro and
Xuewei Li and
Zhenji Zhang and
Juliang Zhang},
title = {Formalizing Trust Requirements and Specification in Service Workflow
Environments},
booktitle = {{ICEIS} 2011 - Proceedings of the 13th International Conference on
Enterprise Information Systems, Volume 3, Beijing, China, 8-11 June,
2011},
pages = {196--206},
publisher = {SciTePress},
year = {2011},
timestamp = {Thu, 02 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/ViriyasitavatM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/AbbadiNM11,
author = {Imad M. Abbadi and
Cornelius Namiluko and
Andrew P. Martin},
title = {Insiders analysis in Cloud computing focusing on home healthcare system},
booktitle = {6th International Conference for Internet Technology and Secured Transactions,
{ICITST} 2011, Abu Dhabi, UAE, December 11-14, 2011},
pages = {350--357},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6148464/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icitst/AbbadiNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trust/NamilukoHM11,
author = {Cornelius Namiluko and
Jun Ho Huh and
Andrew P. Martin},
editor = {Jonathan M. McCune and
Boris Balacheff and
Adrian Perrig and
Ahmad{-}Reza Sadeghi and
M. Angela Sasse and
Yolanta Beres},
title = {Verifying Trustworthiness of Virtual Appliances in Collaborative Environments},
booktitle = {Trust and Trustworthy Computing - 4th International Conference, {TRUST}
2011, Pittsburgh, PA, USA, June 22-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6740},
pages = {1--15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21599-5\_1},
doi = {10.1007/978-3-642-21599-5\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/trust/NamilukoHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/AbbadiAM11,
author = {Imad M. Abbadi and
Muntaha Alawneh and
Andrew P. Martin},
title = {Secure Virtual Layer Management in Clouds},
booktitle = {{IEEE} 10th International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2011, Changsha, China, 16-18
November, 2011},
pages = {99--110},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/TrustCom.2011.16},
doi = {10.1109/TRUSTCOM.2011.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/AbbadiAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ccn/HuhM11,
author = {Jun Ho Huh and
Andrew P. Martin},
editor = {Xiaoyu Yang and
Lizhe Wang and
Wei Jie},
title = {Trustworthy Distributed Systems Through Integrity-Reporting},
booktitle = {Guide to e-Science, Next Generation Scientific Research and Discovery},
series = {Computer Communications and Networks},
pages = {265--297},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-85729-439-5\_10},
doi = {10.1007/978-0-85729-439-5\_10},
timestamp = {Thu, 26 Nov 2020 17:53:47 +0100},
biburl = {https://dblp.org/rec/series/ccn/HuhM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ChenDSM10,
author = {Chunqing Chen and
Jin Song Dong and
Jun Sun and
Andrew P. Martin},
title = {A verification system for interval-based specification languages},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {19},
number = {4},
pages = {13:1--13:36},
year = {2010},
url = {https://doi.org/10.1145/1734229.1734232},
doi = {10.1145/1734229.1734232},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/ChenDSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/MartinDH10,
author = {Andrew P. Martin and
Jim Davies and
Steve Harris},
title = {Towards a Framework for Security in eScience},
booktitle = {Sixth International Conference on e-Science, e-Science 2010, 7-10
December 2010, Brisbane, QLD, Australia},
pages = {230--237},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/eScience.2010.19},
doi = {10.1109/ESCIENCE.2010.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/MartinDH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/ViriyasitavatM10,
author = {Wattana Viriyasitavat and
Andrew P. Martin},
title = {Formal Trust Specification in Service Workflows},
booktitle = {{IEEE/IFIP} 8th International Conference on Embedded and Ubiquitous
Computing, {EUC} 2010, Hong Kong, China, 11-13 December 2010},
pages = {703--710},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/EUC.2010.111},
doi = {10.1109/EUC.2010.111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euc/ViriyasitavatM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intrust/NamilukoM10,
author = {Cornelius Namiluko and
Andrew P. Martin},
editor = {Liqun Chen and
Moti Yung},
title = {An Abstract Model of a Trusted Platform},
booktitle = {Trusted Systems - Second International Conference, {INTRUST} 2010,
Beijing, China, December 13-15, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6802},
pages = {47--66},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25283-9\_4},
doi = {10.1007/978-3-642-25283-9\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intrust/NamilukoM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/LyleM10,
author = {John Lyle and
Andrew P. Martin},
editor = {Margo I. Seltzer and
Wang{-}Chiew Tan},
title = {Trusted Computing and Provenance: Better Together},
booktitle = {2nd Workshop on the Theory and Practice of Provenance, TaPP'10, San
Jose, CA, USA, February 22, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/tapp-10/trusted-computing-and-provenance-better-together},
timestamp = {Tue, 02 Feb 2021 08:04:56 +0100},
biburl = {https://dblp.org/rec/conf/tapp/LyleM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trust/LyleM10,
author = {John Lyle and
Andrew P. Martin},
editor = {Alessandro Acquisti and
Sean W. Smith and
Ahmad{-}Reza Sadeghi},
title = {Engineering Attestable Services},
booktitle = {Trust and Trustworthy Computing, Third International Conference, {TRUST}
2010, Berlin, Germany, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6101},
pages = {257--264},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13869-0\_17},
doi = {10.1007/978-3-642-13869-0\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trust/LyleM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/LyleM09,
author = {John Lyle and
Andrew P. Martin},
title = {On the Feasibility of Remote Attestation for Web Services},
booktitle = {Proceedings of the 12th {IEEE} International Conference on Computational
Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August
29-31, 2009},
pages = {283--288},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSE.2009.213},
doi = {10.1109/CSE.2009.213},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/LyleM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/HuhM09,
author = {Jun Ho Huh and
Andrew P. Martin},
title = {Towards a Trustable Virtual Organisation},
booktitle = {{IEEE} International Symposium on Parallel and Distributed Processing
with Applications, {ISPA} 2009, Chengdu, Sichuan, China, 10-12 August
2009},
pages = {425--431},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISPA.2009.72},
doi = {10.1109/ISPA.2009.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/HuhM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/trust/2009,
editor = {Liqun Chen and
Chris J. Mitchell and
Andrew P. Martin},
title = {Trusted Computing, Second International Conference, Trust 2009, Oxford,
UK, April 6-8, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5471},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00587-9},
doi = {10.1007/978-3-642-00587-9},
isbn = {978-3-642-00586-2},
timestamp = {Sat, 28 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trust/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/MartinY07,
author = {Andrew P. Martin and
Po{-}Wah Yau},
title = {Grid security: Next steps},
journal = {Inf. Secur. Tech. Rep.},
volume = {12},
number = {3},
pages = {113--122},
year = {2007},
url = {https://doi.org/10.1016/j.istr.2007.05.009},
doi = {10.1016/J.ISTR.2007.05.009},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/istr/MartinY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/CooperM06,
author = {Andrew Cooper and
Andrew P. Martin},
title = {Towards a Secure, Tamper-Proof Grid Platform},
booktitle = {Sixth {IEEE} International Symposium on Cluster Computing and the
Grid (CCGrid 2006), 16-19 May 2006, Singapore},
pages = {373--380},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CCGRID.2006.103},
doi = {10.1109/CCGRID.2006.103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/CooperM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/drm/CooperM06,
author = {Andrew Cooper and
Andrew P. Martin},
editor = {Moti Yung and
Kaoru Kurosawa and
Reihaneh Safavi{-}Naini},
title = {Towards an open, trusted digital rights management platform},
booktitle = {Proceedings of the Sixth {ACM} Workshop on Digital Rights Management,
Alexandria, VA, USA, October 30, 2006},
pages = {79--88},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1179509.1179525},
doi = {10.1145/1179509.1179525},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/drm/CooperM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/SpenceGJRVMDNTTWAM06,
author = {David Spence and
Neil Geddes and
Jens Jensen and
Andrew Richards and
Matthew Viljoen and
Andrew P. Martin and
Matthew J. Dovey and
Mark Norman and
Kang Tang and
Anne E. Trefethen and
David Wallom and
Rob Allan and
David Meredith},
title = {ShibGrid: Shibboleth Access for the {UK} National Grid Service},
booktitle = {Second International Conference on e-Science and Grid Technologies
(e-Science 2006), 4-6 December 2006, Amsterdam, The Netherlands},
pages = {75},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/E-SCIENCE.2006.261159},
doi = {10.1109/E-SCIENCE.2006.261159},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/SpenceGJRVMDNTTWAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/MaoMJZ06,
author = {Wenbo Mao and
Andrew P. Martin and
Hai Jin and
Huanguo Zhang},
editor = {Bruce Christianson and
Bruno Crispo and
James A. Malcolm and
Michael Roe},
title = {Innovations for Grid Security from Trusted Computing},
booktitle = {Security Protocols, 14th International Workshop, Cambridge, UK, March
27-29, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5087},
pages = {132--149},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-642-04904-0\_18},
doi = {10.1007/978-3-642-04904-0\_18},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spw/MaoMJZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2005wlfm,
editor = {Alvaro Arenas and
Jin Song Dong and
Andrew Martin and
Brian Matthews},
title = {Proceedings of the International Workshop on Web Languages and Formal
Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/151/issue/2},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2005wlfm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ChiversM05,
author = {Howard Chivers and
Andrew P. Martin},
title = {Editorial},
journal = {Softw. Pract. Exp.},
volume = {35},
number = {9},
pages = {799--800},
year = {2005},
url = {https://doi.org/10.1002/spe.687},
doi = {10.1002/SPE.687},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/ChiversM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArenasDMM06,
author = {Alvaro E. Arenas and
Jin Song Dong and
Andrew P. Martin and
Brian Matthews},
editor = {Alvaro Arenas and
Jin Song Dong and
Andrew Martin and
Brian Matthews},
title = {Preface},
booktitle = {Proceedings of the International Workshop on Web Languages and Formal
Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {2},
pages = {1},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.032},
doi = {10.1016/J.ENTCS.2005.07.032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ArenasDMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MomtahanMR06,
author = {Lee Momtahan and
Andrew P. Martin and
A. W. Roscoe},
editor = {Alvaro Arenas and
Jin Song Dong and
Andrew Martin and
Brian Matthews},
title = {A Taxonomy of Web Services Using {CSP}},
booktitle = {Proceedings of the International Workshop on Web Languages and Formal
Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {2},
pages = {71--87},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.037},
doi = {10.1016/J.ENTCS.2005.07.037},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MomtahanMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/DaviesSM04,
author = {Jim Davies and
Andrew Simpson and
Andrew P. Martin},
editor = {C. Neville Dean and
Raymond T. Boute},
title = {Teaching Formal Methods in Context},
booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent,
Belgium, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3294},
pages = {185--202},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30472-2\_12},
doi = {10.1007/978-3-540-30472-2\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tfm/DaviesSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/StainforthMSCKAA04,
author = {Dave Stainforth and
Andrew P. Martin and
Andrew Simpson and
Carl Christensen and
Jamie Kettleborough and
Tolu Aina and
Myles Allen},
title = {Security Principles for Public-Resource Modeling Research},
booktitle = {13th {IEEE} International Workshops on Enabling Technologies {(WETICE}
2004), Infrastructure for Collaborative Enterprises, 14-16 June 2004,
Modena, Italy},
pages = {319--324},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ENABL.2004.54},
doi = {10.1109/ENABL.2004.54},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/StainforthMSCKAA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MartinS03,
author = {Andrew P. Martin and
Andrew Simpson},
title = {Generalising the {Z} Schema Calculus: Database Schemas and Beyond},
booktitle = {10th Asia-Pacific Software Engineering Conference {(APSEC} 2003),
10-12 December 2003, Chiang Mai, Thailand},
pages = {28--37},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/APSEC.2003.1254355},
doi = {10.1109/APSEC.2003.1254355},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/MartinS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SimpsonMGDM03,
author = {Andrew Simpson and
Andrew P. Martin and
Jeremy Gibbons and
Jim Davies and
Steve McKeever},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {On The Supervision and Assessment Of Part-Time Postgraduate Software
Engineering Projects},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {628--633},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201247},
doi = {10.1109/ICSE.2003.1201247},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SimpsonMGDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/UttingTSMDDC03,
author = {Mark Utting and
Ian Toyn and
Jing Sun and
Andrew P. Martin and
Jin Song Dong and
Nicholas Daley and
David W. Currie},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {{ZML:} {XML} Support for Standard {Z}},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {437--456},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_26},
doi = {10.1007/3-540-44880-2\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/UttingTSMDDC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MomtahanM02,
author = {Lee Momtahan and
Andrew P. Martin},
title = {e-Science Experiences: Software Engineering Practice and the {EU}
DataGrid},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {269--275},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1182996},
doi = {10.1109/APSEC.2002.1182996},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MomtahanM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcs/StainforthKMSGAGCGA02,
author = {Dave Stainforth and
Jamie Kettleborough and
Andrew P. Martin and
Andrew Simpson and
R. Gillis and
A. Akkas and
R. Gault and
Mat Collins and
David Gavaghan and
Myles Allen},
editor = {Selim G. Akl and
Teofilo F. Gonzalez},
title = {Climateprediction.net: Design Principles for Publicresource Modeling
Research},
booktitle = {International Conference on Parallel and Distributed Computing Systems,
{PDCS} 2002, November 4-6, 2002, Cambridge, {USA}},
pages = {32--38},
publisher = {{IASTED/ACTA} Press},
year = {2002},
timestamp = {Thu, 02 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdcs/StainforthKMSGAGCGA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/MartinF01,
author = {Andrew P. Martin and
Colin J. Fidge},
editor = {Colin J. Fidge},
title = {Lifting in {Z}},
booktitle = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
Australia, January 29-30, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {42},
pages = {197--219},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80886-7},
doi = {10.1016/S1571-0661(04)80886-7},
timestamp = {Fri, 11 Nov 2022 16:01:10 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartinF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Martin00,
author = {Andrew P. Martin},
title = {Relating {Z} and First-Order Logic},
journal = {Formal Aspects Comput.},
volume = {12},
number = {3},
pages = {199--209},
year = {2000},
url = {https://doi.org/10.1007/s001650070029},
doi = {10.1007/S001650070029},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Martin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BrienM00,
author = {S. M. Brien and
Andrew P. Martin},
title = {A Calculus for Schemas in {Z}},
journal = {J. Symb. Comput.},
volume = {30},
number = {1},
pages = {63--91},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0347},
doi = {10.1006/JSCO.1999.0347},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BrienM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Martin99,
author = {Andrew P. Martin},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Relating {Z} and First-Order Logic},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1266--1280},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_17},
doi = {10.1007/3-540-48118-4\_17},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Martin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FidgeHMW98,
author = {Colin J. Fidge and
Ian J. Hayes and
Andrew P. Martin and
Axel Wabenhorst},
editor = {Johan Jeuring},
title = {A Set-Theoretic Model for Real-Time Specification and Reasoning},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {188--206},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054291},
doi = {10.1007/BFB0054291},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/FidgeHMW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/TraynorHKMNW97,
author = {Owen Traynor and
Daniel Hazel and
Peter Kearney and
Andrew P. Martin and
Ray Nickson and
Luke Wildman},
editor = {Michael Johnson},
title = {The Cogito Development System},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {586--591},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000505},
doi = {10.1007/BFB0000505},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/TraynorHKMNW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HallM97,
author = {Jon G. Hall and
Andrew P. Martin},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {\emph{W} Reconstructed},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {115--134},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027287},
doi = {10.1007/BFB0027287},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/HallM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MartinGW96,
author = {Andrew P. Martin and
Paul H. B. Gardiner and
Jim Woodcock},
title = {A Tactic Calculus-Abridged Version},
journal = {Formal Aspects Comput.},
volume = {8},
number = {4},
pages = {479--489},
year = {1996},
url = {https://doi.org/10.1007/BF01213535},
doi = {10.1007/BF01213535},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/MartinGW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Martin93,
author = {Andrew P. Martin},
editor = {Jim Woodcock and
Peter Gorm Larsen},
title = {Encoding {W:} {A} Logic for {Z} in 2OBJ},
booktitle = {{FME} '93: Industrial-Strength Formal Methods, First International
Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {670},
pages = {462--481},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0024662},
doi = {10.1007/BFB0024662},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Martin93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-03-27 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
