SRI Website

Notice

All larger files, including pdfs of papers/slides, should be uploaded to the file server.

$ ssh websrl@web-login-el6.inf.ethz.ch
[websrl@web-login htdocs-srl]$ cd /import/vechev/h1/htdocs-srl/website

Upload you files to the ‘/import/vechev/h1/htdocs-srl/website’ directory. All files are then available under https://files.sri.inf.ethz.ch/ url. For example, file in ‘/import/vechev/h1/htdocs-srl/website/slides/deguard-androidsec17.pdf’ is available at https://files.sri.inf.ethz.ch/website/slides/deguard-androidsec17.pdf

Overview

The site is built on Jekyll, a static site generator. The templating language is Liquid.

To serve the webpage locally, run script/server (requires uv). You may need to run bundle install in case of errors like Could not find gem.

Image thumbnails

The generation workflow runs automatically when images or HTML/Markdown content change on master, including edits made on GitHub. It generates thumbnails, removes obsolete variants…