Run-time security evaluation: can we afford it? - Cristina Serban; Bruce M. McMillin (NSPW, 1996)

Run-Time Security Evaluation (RTSE) for Distributed Applications. - Cristina Serban; Bruce M. McMillin (S&P, 1996)

Themes and Highlights of the New Security Paradigms Workshop 2002. - Cristina Serban; O. Sami Saydjari (ACSAC, 2002)

Thermal Analysis of Climate Regions using Remote Sensing and Grid Computing - Cristina Serban; Carmen Maftei (CoRR, 2011)

Securing the mobile enterprise with network-based security and cloud computing. - Gustavo de los Reyes; Sanjay Macwan; Deepak Chawla; Cristina Serban (Sarnoff Symposium, 2012)

Securing Mobile Location-based Services through position verification leveraging key distribution. - Jie Yang 003; Yingying Chen 001; Sanjay Macwan; Cristina Serban; Shu Chen; Wade Trappe (WCNC, 2012)

Combining Image Retrieval, Metadata Processing and Naive Bayes Classification at Plant Identification 2013. - Cristina Serban; Alexandra Siriteanu; Claudia Gheorghiu; Adrian Iftene; Lenuta Alboaie; Mihaela Breaban (CLEF (Working Notes), 2013)

A System Framework for Concept- and Credibility-Based Multimedia Retrieval. - Ralf Bierig; Cristina Serban; Alexandra Siriteanu; Mihai Lupu; Allan Hanbury (ICMR, 2014)

Image search based on the content and on associated metadata. - Adrian Iftene; Lenuta Alboaie; Cristina Serban; Alexandra Siriteanu (RoCHI, 2014)

Han-type algorithms for inconsistent systems of linear inequalities - A unified approach. - Constantin Popa; Cristina Serban (Appl. Math. Comput., 2014)

A Decision Procedure for Separation Logic in SMT. - Andrew Reynolds 001; Radu Iosif; Cristina Serban; Tim King 001 (ATVA, 2016)

Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic. - Andrew Reynolds 001; Radu Iosif; Cristina Serban (CoRR, 2016)

Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic. - Andrew Reynolds 001; Radu Iosif; Cristina Serban (VMCAI, 2017)

Complete Cyclic Proof Systems for Inductive Entailments. - Radu Iosif; Cristina Serban (CoRR, 2017)

A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. - Radu Iosif; Cristina Serban (LPAR, 2018)

An Entailment Checker for Separation Logic with Inductive Definitions. - Cristina Serban; Radu Iosif (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Automated Reasoning in Separation Logic with Inductive Definitions. (Raisonnement automatisé pour la Logique de Séparation avec des définitions inductives ). - Cristina Serban (2018)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)