Fix capitalization of paper titles

nguyenLisa · nguyenLisa · commit 9d2686a5df75 · 2022-03-29T11:06:26.000+02:00
diff --git a/publications/_posts/2015-07-01-publication-toward-jita-tr.markdown b/publications/_posts/2015-07-01-publication-toward-jita-tr.markdown
@@ -1,6 +1,6 @@
 ---
 layout: post
-title:  "Toward a Just-in-Time Static Analysis"
+title:  "Toward a just-in-time static analysis"
 display_date:   "Jul 2015"
 venue:   "Tech report"
 authors: "Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden"
diff --git a/publications/_posts/2015-11-01-publication-truecrypt.markdown b/publications/_posts/2015-11-01-publication-truecrypt.markdown
@@ -1,6 +1,6 @@
 ---
 layout: post
-title:  "Security Analysis of TrueCrypt"
+title:  "Security analysis of TrueCrypt"
 display_date:   "Nov 2015"
 venue:   "BSI / Fraunhofer SIT"
 authors: "Mauro Baluda, Andreas Fuchs, Philipp Holzinger, Lisa Nguyen, Lotfi ben Othmane, Andreas Poller, Jürgen Repp, Johannes Späth, Jan Steffan, Stefan Triller, Eric Bodden"
diff --git a/publications/_posts/2017-07-01-publication-boomerang.markdown b/publications/_posts/2017-07-01-publication-boomerang.markdown
@@ -1,6 +1,6 @@
 ---
 layout: post
-title:  "Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java"
+title:  "Boomerang: demand-driven flow- and context-sensitive pointer analysis for Java"
 display_date:   "Jul 2016"
 venue:   "ECOOP"
 authors: "Johannes Späth, Lisa Nguyen Quang Do, Eric Bodden"
