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
(8)
Michael Backes
3
Matteo Maffei
3
Gavin Bierman
2
Andrew D. Gordon
2
David E. Langworthy
2
Conferences
(4)
CSFW
2
ICFP
1
CCS
1
SYNASC
1
Journals
(1)
LMCS
1
Keywords
(39)
Embed
Subscribe
Academic
Authors
Catalin Hritcu
Edit
Catalin Hritcu
University of Pennsylvania
Publications: 8
|
Citations: 46
|
G-Index: 6
|
H-Index: 3
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:
Security & Privacy
,
Algorithms & Theory
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
8 co-authors
from 2005 to 2010
; Cited by
86 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(8)
BibTeX
|
RIS
|
RefWorks
Download
Semantic subtyping with an SMT solver
(
Citations: 2
)
Gavin M. Bierman
,
Andrew D. Gordon
,
Catalin Hritcu
,
David E. Langworthy
Conference:
International Conference on Functional Programming - ICFP
, pp. 105-116, 2010
Semantic subtyping with an SMT solver
Gavin M. Bierman
,
Andrew D. Gordon
,
Cătălin Hriţcu
,
David Langworthy
Published in 2010.
Achieving Security Despite Compromise Using Zero-knowledge
(
Citations: 4
)
Michael Backes
,
Martin P. Grochulla
,
Catalin Hritcu
,
Matteo Maffei
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 308-323, 2009
A Step-indexed Semantics of Imperative Objects
(
Citations: 2
)
Catalin Hritcu
,
Jan Schwinghammer
Journal:
Logical Methods in Computer Science - LMCS
, vol. 5, no. 4, 2009
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus
(
Citations: 26
)
Michael Backes
,
Catalin Hritcu
,
Matteo Maffei
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 195-209, 2008
Order by:
Citations
(46 times by 42 publications)
Refinement types for secure implementations
(
Citations: 3
)
Jesper Bengtson
,
Karthikeyan Bhargavan
,
Cédric Fournet
,
Andrew D. Gordon
,
Sergio Maffeis
Journal:
IEEE Computer Society
, vol. 33, no. 2, pp. 1-45, 2011
Attacking and Fixing Helios: An Analysis of Ballot Secrecy
(
Citations: 1
)
Veronique Cortier
,
Ben Smyth
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 297-311, 2011
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols
Michele Bugliesi
,
Stefano Calzavara
,
Fabienne Eigner
,
Matteo Maffei
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 83-98, 2011
Robust electronic voting: Introducing robustness in Civitas
Fateme Shirazi
,
Stephan Neumann
,
Ines Ciolacu
,
Melanie Volkamer
Published in 2011.
Formal Verification of SLA Transformations
Vatche Ishakian
,
Andrei Lapets
,
Azer Bestavros
,
Assaf Kfoury
Published in 2011.
Comments