%% Conference Papers

@InProceedings{Backes:Busenius:Hritcu:12,
  author = 	 {Michael Backes and Alex Busenius and C\u{a}t\u{a}lin Hri\c{t}cu},
  title = 	 {On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols},
  booktitle = {4th NASA Formal Methods Symposium (NFM 2012)},
  year = 	 {2012},
  month = 	 apr,
  publisher = {Springer},
  pages = {371-387},
  key = 	 {Conference Papers},
}


@InProceedings{Backes:Hritcu:Tarrach:11,
  author = 	 {Michael Backes and C\u{a}t\u{a}lin Hri\c{t}cu and Thorsten Tarrach},
  title = 	 {Automatically Verifying Typing Constraints for a Data Processing Language},
  booktitle = {First International Conference on Certified Programs and Proofs (CPP 2011)},
  pages = 	 {296-313},
  year = 	 {2011},
  month = 	 dec,
  publisher = {Springer},
  key = 	 {Conference Papers},
}

%  month = apr,
%  year =     {2011},
%  pages     = {},
%  publisher = {},
@InProceedings{Backes:Hritcu:Maffei:11,
  author = 	 {Michael Backes and C\u{a}t\u{a}lin Hri\c{t}cu and Matteo Maffei},
  title = 	 {Union and Intersection Types for Secure Protocol Implementations},
  booktitle = {Theory of Security and Applications (TOSCA 2011)},
  note =     {Invited paper},
  year = {2011},
  pages = {1-28},
  month = mar,
  publisher = {Springer},
  key =	 {Conference Papers}
}



@InProceedings{Bierman:Gordon:Hritcu:Langworthy:10,
  author = 	 {Gavin M. Bierman and Andrew D. Gordon and C\u{a}t\u{a}lin Hri\c{t}cu and David Langworthy},
  title = 	 {Semantic Subtyping with an {SMT} Solver},
  booktitle = {15th ACM SIGPLAN International Conference on Functional programming (ICFP 2010)},
  pages = 	 {105-116},
  year = 	 {2010},
  month = 	 sep,
  publisher = {ACM Press},
  key = 	 {Conference Papers}
}


@InProceedings{Backes:Grochulla:Hritcu:Maffei:09,
  author = 	 {Michael Backes and Martin P. Grochulla and C\u{a}t\u{a}lin Hri\c{t}cu and Matteo Maffei},
  title = 	 {Achieving Security Despite Compromise Using Zero-knowledge},
  booktitle = {22th IEEE Symposium on Computer Security Foundations (CSF 2009)},
  month = jul,
  pages = {308-323},
  year =     {2009},
  publisher = {IEEE Computer Society Press},
  key = 	  {Conference Papers}
}


@InProceedings{Backes:Hritcu:Maffei:08bb,
  author = 	 {Michael Backes and C\u{a}t\u{a}lin Hri\c{t}cu and Matteo Maffei},
  title = 	 {Type-checking Zero-knowledge},
  booktitle = {15th ACM Conference on Computer and Communications Security (CCS 2008)},
  month = oct,
  year =     {2008},
  pages     = {357-370},
  publisher = {ACM Press},
  key =	 {Conference Papers}
}


@InProceedings{Backes:Hritcu:Maffei:08,
  author = 	 {Michael Backes and C\u{a}t\u{a}lin Hri\c{t}cu and Matteo Maffei},
  title = 	 {Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus},
  booktitle = {21th IEEE Symposium on Computer Security Foundations (CSF 2008)},
  month = jun,
  year =     {2008},
  pages     = {195-209},
  publisher = {IEEE Computer Society Press},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CSF.2008.26},
  key = 	  {Conference Papers}
}

@InProceedings{Hritcu:Buraga:05,
  author    = {C\u{a}t\u{a}lin Hri\c{t}cu and
               Sabin C. Buraga},
  title     = {A Reference Implementation of {ADF} ({A}gent {D}eveloping {F}ramework):
               Semantic Web-Based Agent Communication},
  booktitle = {Seventh International Symposium on Symbolic and Numeric
               Algorithms for Scientific Computing (SYNASC 2005)},
  month =     sep,
  year      = {2005},
  pages     = {199-206},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2005.12},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  key = 	  {Conference Papers}
}
% 25-29 September 2005, Timi\c{s}oara, Romania


%% Journal Papers

@Misc{Bierman:Gordon:Hritcu:Langworthy:12,
  author = 	 {Gavin M. Bierman and Andrew D. Gordon and C\u{a}t\u{a}lin Hri\c{t}cu and David Langworthy},
  title = 	 {Semantic Subtyping with an {SMT} Solver},
  howpublished = {To appear in \emph{Journal of Functional Programming}, Cambridge University Press},
  month = 	 feb,
  year = 	 2012,
  key = 	 {Journal Papers},
}

@Article{Hritcu:Schwinghammer:09,
  title = 	 {A Step-indexed Semantics of Imperative Objects},
  author = 	 {C\u{a}t\u{a}lin Hri\c{t}cu and Jan Schwinghammer},
  journal = 	 {Logical Methods in Computer Science (LMCS)},
  year = 	 {2009},
  month = 	 {December},
  volume = 	 {5},
  number = 	 {4:2},
  pages = 	 {1--48},
  abstract = {Step-indexed semantic interpretations of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. The types are interpreted as sets of values indexed by the number of computation steps for which these values are guaranteed to behave like proper elements of the type. Building on work by Ahmed, Appel and others, we introduce a step-indexed semantics for the imperative object calculus of Abadi and Cardelli. Providing a semantic account of this calculus using more `traditional', domain-theoretic approaches has proved challenging due to the combination of dynamically allocated objects, higher-order store, and an expressive type system. Here we show that, using step-indexing, one can interpret a rich type discipline with object types, subtyping, recursive and bounded quantified types in the presence of state.},
  key = 	 {Journal Papers}
}

% DOI: 10.2168/LMCS-5(4:2)2009

@Article{Hritcu:Goriac:Gordan:Erbiceanu:03,
  author = 	 {C\u{a}t\u{a}lin Hri\c{t}cu
  				and Iulian Goriac
  				and Raluca M. Gord\^{a}n
  				and Elena Erbiceanu},
  title = 	 {Designing a Multi-Precision Number Theory Library},
  journal = 	 {International Scientific Journal of Computing},
  year = 	 {2003},
  volume = 	 {2},
  number = 	 {3},
  key = 	 {Journal Papers}
}


%% Workshop Papers

@InProceedings{Backes:Hritcu:Maffei:Tarrach:09,
  author = 	 {Michael Backes and C\u{a}t\u{a}lin Hri\c{t}cu and Matteo Maffei and Thorsten Tarrach},
  title = 	 {Type-checking Implementations of Protocols Based on Zero-knowledge Proofs -- Work in Progress},
  booktitle = {Workshop on Foundations of Computer Security (FCS 2009)},
  year = 	 {2009},
  month = 	 aug,
  key =	 {Workshop Papers}
}

@InProceedings{Backes:Grochulla:Hritcu:Maffei:09b,
  author = 	 {Michael Backes and Martin P. Grochulla and C\u{a}t\u{a}lin Hri\c{t}cu and Matteo Maffei},
  title = 	 {Achieving Security Despite Compromise Using Zero-knowledge},
  booktitle = {Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'09)},
  month = mar,
  year =     {2009},
  key =	 {Workshop Papers}
}

@InProceedings{Backes:Hritcu:Maffei:08b,
  author = 	 {Michael Backes and C\u{a}t\u{a}lin Hri\c{t}cu and Matteo Maffei},
  title = 	 {Type-checking Zero-knowledge},
  booktitle = {Joint Workshop on Foundations of Computer Security, 
                   Automated Reasoning for Security Protocol Analysis and Issues in the 
                   Theory of Security (FCS-ARSPA-WITS'08)},
  month =     jun,
  year =     {2008},
  key =	 {Workshop Papers}
}


@InProceedings{Hritcu:Schwinghammer:08,
   title  =  {A  Step-indexed  Semantics  of  Imperative  Objects},
   year  =  {2008},
   author  =  {C\u{a}t\u{a}lin Hri\c{t}cu  and  Jan  Schwinghammer},
   abstract  =  {Step-indexed  semantic  models  of  types  were  proposed  as  an  alternative  to  purely  
		syntactic  proofs  of  type  safety  using  subject  reduction.  Building  on  work  by  
		Ahmed,  Appel  and  others,  we  introduce  a  step-indexed  model  for  the  imperative  
		object  calculus  of  Abadi  and  Cardelli.  Providing  a  semantic  account  of  this  
		calculus  using  more  `traditional',  domain-theoretic  approaches  has  proved  
		challenging  due  to  the  combination  of  dynamically  allocated  objects,  
		higher-order  store,  and  an  expressive  type  system.  Here  we  show  that  the  
		step-indexed  model  can  interpret  a  rich  type  discipline  with  object  types,  
		subtyping,  recursive  and  bounded  quantified  types  in  the  presence  of  state.},
   booktitle  =  {{International Workshop on Foundations of Object-Oriented Languages {(FOOL'08)}}},
   month  =  {January},
   key =	 {Workshop Papers}
}

@InProceedings{Hritcu:Goriac:Gordan:Erbiceanu:03a,
  author = 	 {C\u{a}t\u{a}lin Hri\c{t}cu
  				and Iulian Goriac
  				and Raluca M. Gord\^{a}n
  				and Elena Erbiceanu},
  title = 	 {Designing a Multi-Precision Number Theory Library},
  booktitle = {NATO Advanced Research Workshop on Concurrent Information Processing and Computing},
  month = 	 {July},
  year = 	 {2003},
  key = 	 {Workshop Papers}
}


%% Technical Reports

@TechReport{MpNT:03,
  author = 	 {Ferucio L. \c{T}iplea
  				and Sorin Iftene
  				and C\u{a}t\u{a}lin Hri\c{t}cu
  				and Iulian Goriac
  				and Raluca M. Gord\^{a}n
  				and Elena Erbiceanu},
  title = 	 {{MpNT}: A Multi-Precision Number Theory Package, {N}umber Theoretical Algorithms ({I})},
  institution =  {Faculty of Computer Science, ``Alexandru Ioan Cuza'' University of Ia\c{s}i},
  year = 	 {2003},
  month = 	 {May},
  type = 	 {Technical Report},
  number = 	 {TR03-02},
  key = 	 {Technical Reports},
  url = 	 {http://hritcu.wordpress.com/publications/mpnt-tr/}
}

%% Theses

@PhdThesis{Hritcu:12,
  author = 	 {C\u{a}t\u{a}lin Hri\c{t}cu},
  title = 	 {Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis},
  school = 	 {Saarland University},
  year = 	 {2012},
  month = 	 jan,
  key = 	 {Theses},
}

@MastersThesis{Hritcu:07,
   title  =  {A Step-indexed Semantic Model of Types for the Functional Object Calculus},
   year  =  {2007},
   month = 	 {May},
   author  =  {C\u{a}t\u{a}lin Hri\c{t}cu},
   abstract  =  {Step-indexed semantic models of types were proposed as an alternative to purely 
		syntactic proofs of type safety using subject reduction. Building on work by 
		Ahmed, Appel and others, we introduce a step-indexed model for the imperative 
		object calculus of Abadi and Cardelli. Providing a semantic account of this 
		calculus using more `traditional', domain-theoretic approaches has proved 
		challenging due to the combination of dynamically allocated objects, 
		higher-order store, and an expressive type system. Here we show that the 
		step-indexed model can interpret a rich type discipline with object types, 
		subtyping, recursive and bounded quantified types in the presence of state.},
   school  =  {Advisor: Jan Schwinghammer, Programming  Systems  Lab, Saarland  University},
   key = 	 {Theses},
   url = {http://hritcu.wordpress.com/publications/masters-thesis/}
}

@Misc{Hritcu:05,
  author = 	 {C\u{a}t\u{a}lin Hri\c{t}cu},
  title = 	 {Agent Developing Platform: Agent Communication},
  howpublished = {Licentiate Thesis. Advisor: Sabin C. Buraga, ``Alexandru Ioan Cuza'' University of Ia\c{s}i},
  abstract = {The purpose of this thesis is to introduce the reader to ongoing research regarding
  		software agents, and present the personal contributions of the author to the development of
  		a new agent developing framework (ADF). These contributions are focused in the area of agent
  		communication, but also in redefining the overall architecture of ADF in order to make it
  		withstand the challenges of the future. We will investigate the architectural issues involved
  		and present a reference implementation of the framework based on Java 2 Enterprise Edition.
  		We will also examine in great detail the current technologies that would make such an effort
  		possible, and also analyze what the near future has to offer.},
  month = 	 {June},
  year = 	 {2005},
  key = 	 {Theses},
  url = {http://hritcu.wordpress.com/publications/adf-thesis/}
}

%% Other stuff

@InProceedings{Dumitriu:Girdea:Hritcu:05,
  author = 	 {Sergiu Dumitriu and Marta G\^{i}rdea and C\u{a}t\u{a}lin Hri\c{t}cu},
  title = 	 {Building Interactive Web Interfaces Using {SVG} Components},
  booktitle = {The Second Romanian Conference on Human-Computer Interaction (RoCHI)},
  year = 	 {2005},
  month = 	 sep,
  key = 	 {Other}
}

@InProceedings{Dumitriu:Girdea:Hritcu:05b,
  author = 	 {Sergiu Dumitriu and Marta G\^{i}rdea and C\u{a}t\u{a}lin Hri\c{t}cu},
  title = 	 {{sMArTH}: Mathematical Expressions on the Web},
  booktitle = {The Second Romanian Conference on Human-Computer Interaction (RoCHI)},
  year = 	 {2005},
  month = 	 sep,
  key = 	 {Other}
}