Outputs (REF2)
11 - Computer Science and Informatics
Newcastle University
Output type
E - Conference contribution
Volume title
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009
Year
2009
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Information Forensics and Security
Year
2008
Output title
Output type
E - Conference contribution
Volume title
CCS 2008: Proceedings of the 15th ACM Conference on Computer and Communications Security
Year
2008
Output type
E - Conference contribution
Volume title
Third IEEE International Conference on Cloud Computing Technology and Science (CloudCom)
Year
2011
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences
Year
2010
Output type
E - Conference contribution
Volume title
NSPW 2010: Proceedings of the 2010 Workshop on New Security Paradigms
Year
2010
Output type
E - Conference contribution
Volume title
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012
Year
2012
Output title
Output type
D - Journal article
Volume title
Scientific Annals of Computer Science
Year
2011
DOI
Output type
E - Conference contribution
Volume title
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012
Year
2012
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2008
Output type
E - Conference contribution
Volume title
16th Annual IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2008)
Year
2008
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2013
Output title
Output type
E - Conference contribution
Volume title
CCS 2009: Proceedings of the 16th ACM Conference on Computer and Communications Security
Year
2009
Output title
Output type
E - Conference contribution
Volume title
CCS 2010: Proceedings of the 17th ACM Conference on Computer and Communications Security
Year
2010
Output type
E - Conference contribution
Volume title
Ubicomp 2012: Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Year
2012
Output title
Output type
E - Conference contribution
Volume title
UIST 2008: Proceedings of the 21st Annual ACM Symposium on User Interface Software and Technology
Year
2008
Output type
E - Conference contribution
Volume title
Integrated Formal Methods: 8th International Conference (IFM 2010)
Year
2010
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Parallel and Distributed Systems
Year
2012
Output title
Output type
D - Journal article
Volume title
Journal of Internet Services and Applications
Year
2013
Output type
E - Conference contribution
Volume title
Advances in Cryptology - CRYPTO 2010: 30th Annual Cryptology Conference
Year
2010
Output type
E - Conference contribution
Volume title
CHI 2013: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
Output type
E - Conference contribution
Volume title
UIST 2012: Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology
Year
2012
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Information and System Security (TISSEC)
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year
2009
Output type
E - Conference contribution
Volume title
IEEE International Conference on Cloud Engineering (IC2E)
Year
2013
Output title
Output type
E - Conference contribution
Volume title
CHI 2008: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2008
Output type
E - Conference contribution
Volume title
CHI 2012: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
