Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(98)
Michael Goldsmith
11
George M. Reed (Mike Reed)
10
Philippa J. Broadfoot
9
Ranko Lazic
8
T. Yung Kong
7
Conferences
(28)
CSFW
8
CONCUR
4
PDPTA
3
SAC
2
WITS
2
Journals
(24)
ENTCS
7
TCS
4
PROC AMER MATH SOC
4
FAC
3
CVGIP
3
Keywords
(169)
Embed
Subscribe
Academic
Authors
Andrew William Roscoe
Edit
Andrew William Roscoe
University of Oxford
Publications: 159
|
Citations: 4682
|
G-Index: 67
|
H-Index: 28
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Security & Privacy
,
Software Engineering
View FAQ about top research area and research interests
Collaborated with
98 co-authors
from 1972 to 2011
; Cited by
3342 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(159)
BibTeX
|
RIS
|
RefWorks
Download
Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey
(
Citations: 5
)
L. H. Nguyen
,
A. W. Roscoe
Published in 2011.
Two heads are better than one: security and usability of device associations in group scenarios
(
Citations: 3
)
Ronald Kainda
,
Ivan Flechais
,
A. W. Roscoe
Conference:
Symposium On Usable Privacy and Security - SOUPS
, pp. 1-13, 2010
Security and Usability: Analysis and Evaluation
(
Citations: 2
)
Ronald Kainda
,
Ivan Flechais
,
A. W. Roscoe
Conference:
Availability, Reliability and Security - IEEEARES
, pp. 275-282, 2010
Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions
Ronald Kainda
,
Ivan Flechais
,
A. W. Roscoe
Conference:
Workshop in Information Security Theory and Practice - WISTP
, pp. 308-315, 2010
Generating short-output digest functions
L. H. Nguyen
,
A. W. Roscoe
Published in 2010.
Order by:
Citations
(4682 times by 3297 publications)
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-variable Language
Huibiao Zhu
,
Fan Yang
,
Jifeng He
,
Jonathan P. Bowen
,
Jeff W. Sanders
,
Shengchao Qin
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 81, no. 1, 2012
Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey
(
Citations: 5
)
L. H. Nguyen
,
A. W. Roscoe
Published in 2011.
Proposition algebra
(
Citations: 3
)
Jan A. Bergstra
,
Alban Ponse
Published in 2011.
A classification of the expressive power of well-structured transition systems
(
Citations: 2
)
Parosh Aziz Abdulla
,
Giorgio Delzanno
,
Laurent Van Begin
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 3, pp. 248-279, 2011
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP
(
Citations: 1
)
Yanhong Huang
,
Yongxin Zhao
,
Longfei Zhu
,
Qin Li
,
Huibiao Zhu
,
Jianqi Shi
Conference:
Theoretical Aspects of Software Engineering - TASE
, 2011
Comments