From 673fb82368cf205076077f2042f614171add68c0 Mon Sep 17 00:00:00 2001 From: Pierre Laperdrix Date: Tue, 17 Mar 2020 15:50:38 +0100 Subject: [PATCH 1/4] Updating site --- _config.yml | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/_config.yml b/_config.yml index 1a7bbf1b6..32a08f9ac 100644 --- a/_config.yml +++ b/_config.yml @@ -3,13 +3,13 @@ # # Name of your site (displayed in the header) -name: Reverie +name: ModSec # Name of the author -author: Amit Merchant +author: # Short bio or description (displayed in the header) -description: An elegant Jekyll theme +description: A MODELS 2020 workshop # URL of your avatar or profile pic (you could use your GitHub profile pic) avatar: /images/reverie.png @@ -21,15 +21,15 @@ avatar: /images/reverie.png # Includes an icon in the footer for each username you enter footer-links: dribbble: - email: amit.d.merchant@gmail.com + email: facebook: flickr: - github: amitmerchant1990/reverie + github: instagram: linkedin: pinterest: - rss: rss - twitter: amit_merchant + rss: + twitter: stackoverflow: youtube: # channel/ or user/ googleplus: # anything in your profile username that comes after plus.google.com/ @@ -41,18 +41,18 @@ footer-links: disqus: # Enter your Google Analytics web tracking code (e.g. UA-2110908-2) to activate tracking -google_analytics: UA-43339302-11 +google_analytics: # Your website URL (e.g. http://amitmerchant1990.github.io or http://www.amitmerchant.com) # Used for Sitemap.xml and your RSS feed -url: http://www.amitmerchant.com/reverie -enforce_ssl: https://www.amitmerchant.com/reverie +url: +enforce_ssl: # If you're hosting your site at a Project repository on GitHub pages # (http://yourusername.github.io/repository-name) # and NOT your User repository (http://yourusername.github.io) # then add in the baseurl here, like this: "/repository-name" -baseurl: "/reverie" +baseurl: "" # # !! You don't need to change any of the configuration flags below !! From ecdd93be2f83a424d51cfd989972074a4cc8ee6a Mon Sep 17 00:00:00 2001 From: Pierre Laperdrix Date: Tue, 17 Mar 2020 17:54:34 +0100 Subject: [PATCH 2/4] Updating site --- _includes/meta.html | 1 - _layouts/default.html | 8 +- _pages/about.md | 29 ----- _pages/categories.md | 24 ---- _pages/getting-started.md | 51 --------- _pages/home.md | 103 ++++++++++++++++++ _pages/search.md | 21 ---- ...-02-13-introducing-reverie-jekyll-theme.md | 87 --------------- _posts/2019-08-08-no-title-posts.md | 6 - _posts/2019-12-11-pullquotes.md | 14 --- _posts/2019-7-27-super-long-article.md | 11 -- ...s-post-demonstrates-post-content-styles.md | 95 ---------------- _posts/2019-7-28-super-short-article.md | 7 -- _posts/2019-8-12-code-snippets.md | 42 ------- 14 files changed, 107 insertions(+), 392 deletions(-) delete mode 100644 _pages/about.md delete mode 100644 _pages/categories.md delete mode 100644 _pages/getting-started.md create mode 100644 _pages/home.md delete mode 100644 _pages/search.md delete mode 100644 _posts/2019-02-13-introducing-reverie-jekyll-theme.md delete mode 100644 _posts/2019-08-08-no-title-posts.md delete mode 100644 _posts/2019-12-11-pullquotes.md delete mode 100644 _posts/2019-7-27-super-long-article.md delete mode 100644 _posts/2019-7-27-this-post-demonstrates-post-content-styles.md delete mode 100644 _posts/2019-7-28-super-short-article.md delete mode 100644 _posts/2019-8-12-code-snippets.md diff --git a/_includes/meta.html b/_includes/meta.html index b54766fb7..4a0800265 100644 --- a/_includes/meta.html +++ b/_includes/meta.html @@ -23,4 +23,3 @@ {% endif %} - diff --git a/_layouts/default.html b/_layouts/default.html index afac3ec49..f7f4f5c1d 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -27,10 +27,10 @@

{{ site.name }}

diff --git a/_pages/about.md b/_pages/about.md deleted file mode 100644 index e8c5fd239..000000000 --- a/_pages/about.md +++ /dev/null @@ -1,29 +0,0 @@ ---- -layout: page -title: About -permalink: /about/ ---- - -[Reverie](https://github.com/amitmerchant1990/reverie) is a Jekyll theme which is simple and opinionated. It's actually a fork of [jekyll-now](https://github.com/barryclark/jekyll-now) with some additional features and personal touches which I've implemented to suit my needs for [my blog](https://www.amitmerchant.com). - -This is a plug-and-play Jekyll theme which you can use on GitHub Pages without even setting up a local environment. - -## Features - -- Command-line free fork-first workflow, using GitHub.com to create, customize and post to your blog -- Fully responsive and mobile optimized base theme -- Sass/Coffeescript support using Jekyll 2.0 -- Free hosting on your GitHub Pages user site -- All the SEO goodies comes in-built -- Markdown blogging -- Syntax highlighting using Pygments - - [Dracula syntax theme](https://draculatheme.com/) included -- Disqus commenting -- Google Analytics integration -- Fuzzy search across blog posts -- Pagination of posts works out-of-the-box. -- Categorize posts out-of-the box -- RSS Feed -- In-built sitemap - -Learn more about it [here](https://github.com/amitmerchant1990/reverie) on how to get started. diff --git a/_pages/categories.md b/_pages/categories.md deleted file mode 100644 index eccf3624d..000000000 --- a/_pages/categories.md +++ /dev/null @@ -1,24 +0,0 @@ ---- -layout: page -permalink: /categories/ -title: Categories ---- - - -
-{% for category in site.categories %} -
- {% capture category_name %}{{ category | first }}{% endcapture %} -
-

- -

{{ category_name }}

- - {% for post in site.categories[category_name] %} - - {% endfor %} -
-{% endfor %} -
\ No newline at end of file diff --git a/_pages/getting-started.md b/_pages/getting-started.md deleted file mode 100644 index f7946a125..000000000 --- a/_pages/getting-started.md +++ /dev/null @@ -1,51 +0,0 @@ ---- -layout: page -title: Getting started with Reverie -permalink: /getting-started/ ---- - -### Step 1) Fork Reverie to your User Repository - -Fork [this repository](https://github.com/amitmerchant1990/reverie), then rename the repository to `yourgithubusername.github.io`. - -Alternatively, you can use [Use this template](https://github.com/amitmerchant1990/reverie/generate) button if you want to create a repository with a clean commit history which will use Reverie as a template. - -Your Jekyll blog will often be viewable immediately at (if it's not, you can often force it to build by completing step 2) - -### Step 2) Customize and view your site - -Enter your site name, description, avatar and many other options by editing the `_config.yml` file. You can easily turn on Google Analytics tracking, Disqus commenting and social icons here. - -Making a change to `_config.yml` (or any file in your repository) will force GitHub Pages to rebuild your site with jekyll. Your rebuilt site will be viewable a few seconds later at - if not, give it ten minutes as GitHub suggests and it'll appear soon. - -### Step 3) Publish your first blog post - -Create a new file called `/_posts/2019-2-13-Hello-World.md` to publish your first blog post. That's all you need to do to publish your first blog post! This [Markdown Cheatsheet](https://github.com/adam-p/markdown-here/wiki/Markdown-Cheatsheet) might come in handy while writing the posts. - -> You can add additional posts in the browser on GitHub.com too! Just hit the Create new file button in `/_posts/` to create new content. Just make sure to include the [front-matter](http://jekyllrb.com/docs/frontmatter/) block at the top of each new blog post and make sure the post's filename is in this format: year-month-day-title.md - -## Using Categories in Reverie - -You can categorize your content based on `categories` in Reverie. For this, you just need to add `categories` in front matter like below: - -For adding single category: - -```md -categories: JavaScript -``` - -For adding multiple categories: - -```md -categories: [PHP, Laravel] -``` - -The contegorized content can be shown over this URL: - -## RSS - -The generated [RSS feed](https://en.wikipedia.org/wiki/RSS) of your blog can be found at . You can see the example RSS feed over [here](https://www.amitmerchant.com/reverie/feed). - -## Sitemap - -The generated sitemap of your blog can be found at . You can see the example sitemap feed over [here](https://www.amitmerchant.com/reverie/sitemap). diff --git a/_pages/home.md b/_pages/home.md new file mode 100644 index 000000000..a0b3ce0fa --- /dev/null +++ b/_pages/home.md @@ -0,0 +1,103 @@ +--- +layout: page +title: Home +permalink: / +--- + +Integrating security in all the design and development steps of a software is an increasingly complex challenge. +Choosing the right language, adopting a correct architecture, building a strong test suite, maintaining the software +after deployment: these are some of the tasks that impacts the overall security of a software. In today's environment, +security cannot be an afterthought and must be integrated from the get-go as it affects the complete life cycle +of a software. One wrong doing can have catastrophic consequences from the leaks of personal data to the shutdown of +an essential service that others are depending on. + +Securely building and maintaining a software throughout its lifetime requires unified effort from many different domains. +One decision early on can cascade and impact the later development stages. Yet, the research done in different fields +feels disconnected as each of them has its own set of objectives and use cases. +We believe that both the software engineering and the security communities need a workshop to meet up and align past and +future research activities. +Methods and techniques in one domain could be leveraged or adapted in another one to better protect modern software and +we feel a workshop is needed to engage the discussion and incite collaboration from researchers in fields that do not +necessarily communicate with one another. + +This first edition of the ModSec Workshop is an attempt to make the Software Engineering community and the Security +community meet and discuss about their own views of models and security. It aims at defining the future directions of +this important research area that will find new applications in the upcoming years by bringing together world experts + in the fields for an intense one-day workshop. + +# Call for papers and demos +We invite you to submit a paper and join us at the ModSec workshop, which will be held on October 18 2020 in Montreal, +Canada. +We are excited to welcome original work describing research, visions, or demos in all areas at the intersection +of software engineering and security for this workshop. + +We accept both longer papers on mature/completed work in a research track, as well as shorter papers on work in +progress or work that has yet to begin in a vision track. This decision to accept both types of submissions aims to +include researchers at all stages of their career and at all stages of their projects. + +We also invite submissions to present a tool during the workshop in a special demo track that can demonstrate interest for +workshop's participants. + + +Topics of interest include, but are not limited to, the following: +- Risk-based development +- Security in agile methods +- Policy frameworks for access control +- Modeling security +- Security testing methodologies and code reviewing +- Patch and update management +- Threat Models and attackers +- Secure system requirements and architecture +- Software variability and diversity for security +- Security in machine learning + +We have observed that the most effective workshops are those that encourage discussion between attendees. +Each paper presentation will be followed by about 10 minutes of discussion to promote engagement and helpful feedback. + +For accepted papers, at least one author must attend the workshop. + + + +### Submission Instructions +Submissions must be uploaded through EasyChair at the following link + +[https://easychair.org/conferences/?conf=modsec2020](https://easychair.org/conferences/?conf=modsec2020) + +We accept three types of publications: + +- **Research track**: Full research papers (10 pages)** present a novel, innovative approach to one of the workshop’s topics. +References may be collected in 2 additional pages. +- **Short papers (5 pages)** present new ideas or early-stage research related to one of the workshop’s topics. +References may be collected in 1 additional page. +- **Tool demo (2 pages)** to present a tool that allows the modelling of security aspects or that can demonstrate an +interest for workshop’s participants. We expect tool presentation to be 15 minutes or less + +All submissions must be in PDF and in the ACM format. Formatting instructions are available at +[https://www.acm.org/publications/proceedings-template](https://www.acm.org/publications/proceedings-template) for both +LaTeX and Word users. LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, +enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), +and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). +The review option adds line numbers, thereby allowing referees to refer to specific lines in their comments. + +All accepted workshop papers will be published in the ACM Digital Library along with the main conference’s proceedings. + +# Important dates +Paper submission deadline: **July 24, 2020** + +Notification of acceptance: August 14, 2020 + +Workshop dates: October 18-19, 2020 + +# Venue and Registration +ModSec is co-located with the IEEE 23rd International Conference on Model Driven Engineering Languages and Systems +(MODELS) in Montreal, Canada. The workshop will take place before the main conference. Registration details will be +handled by the main conference and will be posted closer to the event itself on their website. + +# Organization +### Workshop co-chairs + +- [Pierre Laperdrix](https://plaperdr.github.io/), CNRS, CRIStAL (France) +- [Moussa Amrani](https://directory.unamur.be/staff/mamrani), Université de Namur (Belgique) +- [Paul Temple](https://templep.github.io/), Université de Namur (Belgique) + +### Program committee (to be communicated) \ No newline at end of file diff --git a/_pages/search.md b/_pages/search.md deleted file mode 100644 index b89ec6a9e..000000000 --- a/_pages/search.md +++ /dev/null @@ -1,21 +0,0 @@ ---- -layout: page -title: Search -permalink: /search/ ---- - -
- -
    -
    - - - - \ No newline at end of file diff --git a/_posts/2019-02-13-introducing-reverie-jekyll-theme.md b/_posts/2019-02-13-introducing-reverie-jekyll-theme.md deleted file mode 100644 index 8b1075da4..000000000 --- a/_posts/2019-02-13-introducing-reverie-jekyll-theme.md +++ /dev/null @@ -1,87 +0,0 @@ ---- -layout: post -title: Introducing Reverie - A ridiculously elegant Jekyll theme -categories: [Miscellaneous, Jekyll] ---- - -[Reverie](https://github.com/amitmerchant1990/reverie) is a [Jekyll](https://jekyllrb.com/)-powered theme which is simple and opinionated. It's actually a fork of [jekyll-now](https://github.com/barryclark/jekyll-now) with some additional features and personal touches which I've implemented to suit my needs for my blog. - -This is a plug-and-play Jekyll theme which you can use on GitHub Pages without even setting up a local environment. - -![](/images/reverie-demo.png) - -## Features overview - -- Command-line free fork-first workflow, using GitHub.com to create, customize and post to your blog -- Fully responsive and mobile optimized base theme -- Sass/Coffeescript support using Jekyll 2.0 -- Free hosting on your GitHub Pages user site -- All the SEO goodies comes in-built -- Markdown blogging -- Syntax highlighting using Pygments - - [Dracula syntax theme](https://draculatheme.com/) included -- Disqus commenting -- Google Analytics integration -- Fuzzy search across blog posts -- Pagination of posts works out-of-the-box. -- Categorize posts out-of-the box -- RSS Feed -- In-built sitemap - -
    - -
    - -## Using Reverie on GitHub Pages - -### Step 1) Fork Reverie to your User Repository - -Fork [this repository](https://github.com/amitmerchant1990/reverie), then rename the repository to `yourgithubusername.github.io`. - -Alternatively, you can use [Use this template](https://github.com/amitmerchant1990/reverie/generate) button if you want to create a repository with a clean commit history which will use Reverie as a template. - -Your Jekyll blog will often be viewable immediately at (if it's not, you can often force it to build by completing step 2) - -### Step 2) Customize and view your site - -Enter your site name, description, avatar and many other options by editing the `_config.yml` file. You can easily turn on Google Analytics tracking, Disqus commenting and social icons here. - -Making a change to `_config.yml` (or any file in your repository) will force GitHub Pages to rebuild your site with jekyll. Your rebuilt site will be viewable a few seconds later at - if not, give it ten minutes as GitHub suggests and it'll appear soon. - -### Step 3) Publish your first blog post - -Create a new file called `/_posts/2019-2-13-Hello-World.md` to publish your first blog post. That's all you need to do to publish your first blog post! This [Markdown Cheatsheet](https://github.com/adam-p/markdown-here/wiki/Markdown-Cheatsheet) might come in handy while writing the posts. - -> You can add additional posts in the browser on GitHub.com too! Just hit the Create new file button in `/_posts/` to create new content. Just make sure to include the [front-matter](http://jekyllrb.com/docs/frontmatter/) block at the top of each new blog post and make sure the post's filename is in this format: year-month-day-title.md - -## Using Categories in Reverie - -You can categorize your content based on `categories` in Reverie. For this, you just need to add `categories` in front matter like below: - -For adding single category: - -```md -categories: JavaScript -``` - -For adding multiple categories: - -```md -categories: [PHP, Laravel] -``` - -The contegorized content can be shown over this URL: - -## RSS - -The generated [RSS feed](https://en.wikipedia.org/wiki/RSS) of your blog can be found at . You can see the example RSS feed over [here](https://www.amitmerchant.com/reverie/feed). - -## Sitemap - -The generated sitemap of your blog can be found at . You can see the example sitemap feed over [here](https://www.amitmerchant.com/reverie/sitemap). - -## License - -MIT - - diff --git a/_posts/2019-08-08-no-title-posts.md b/_posts/2019-08-08-no-title-posts.md deleted file mode 100644 index d14509ea8..000000000 --- a/_posts/2019-08-08-no-title-posts.md +++ /dev/null @@ -1,6 +0,0 @@ ---- -layout: post -title: "" -categories: Miscellaneous ---- -Sometimes, your post just stands for itself and doesn't need a title. And that's fine, too! \ No newline at end of file diff --git a/_posts/2019-12-11-pullquotes.md b/_posts/2019-12-11-pullquotes.md deleted file mode 100644 index 647f4edd1..000000000 --- a/_posts/2019-12-11-pullquotes.md +++ /dev/null @@ -1,14 +0,0 @@ ---- -layout: post -title: Pullquotes -categories: [HTML,Code] -excerpt: In graphic design, a pull quote (also known as a lift-out pull quote) is a key phrase, quotation, or excerpt that has been pulled from an article and used as a page layout graphic element, serving to entice readers into the article or to highlight a key topic. ---- - -In graphic design, a pull quote (also known as a lift-out pull quote) is a key phrase, quotation, or excerpt that has been pulled from an article and used as a page layout graphic element, serving to entice readers into the article or to highlight a key topic. {% include pullquote.html quote="It is typically placed in a larger or distinctive typeface and on the same page." %} Pull quotes are often used in magazine and newspaper articles, annual reports, and brochures, as well as on the web. They can add visual interest to text-heavy pages with few images or illustrations. - -Placement of a pull quote on a page may be defined in a publication's or website's style guide. Such a typographic device may or may not be aligned with a column on the page. Some designers, for example, choose not to align the quote. In that case, the quotation cuts into two or more columns, as in the example shown. Because the pull quote invites the reader to read about the highlighted material, the pull quote should appear before the text it cites and, generally, fairly close to it. - -Pull quotes need not be a verbatim copy of the text being quoted; depending on a publication's house style, pull quotes may be abbreviated for space or paraphrased for clarity, with or without indication. - -A disadvantage of pull quotes as a design element is that they can disrupt the reading process of readers invested in reading the text sequentially by drawing attention to ghost fragments out of context. At the other extreme, when pull quotes are used to break up what would otherwise be a formless wall of text, pull quote can serve as visual landmarks to help the reader maintain a sense of sequence and place. \ No newline at end of file diff --git a/_posts/2019-7-27-super-long-article.md b/_posts/2019-7-27-super-long-article.md deleted file mode 100644 index d148630e9..000000000 --- a/_posts/2019-7-27-super-long-article.md +++ /dev/null @@ -1,11 +0,0 @@ ---- -layout: post -title: Some articles are just so long they deserve a really long title to see if things will break well -categories: Miscellaneous ---- - -Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce bibendum neque eget nunc mattis eu sollicitudin enim tincidunt. Vestibulum lacus tortor, ultricies id dignissim ac, bibendum in velit. Proin convallis mi ac felis pharetra aliquam. Curabitur dignissim accumsan rutrum. In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. Proin eget nibh a massa vestibulum pretium. Suspendisse eu nisl a ante aliquet bibendum quis a nunc. Praesent varius interdum vehicula. Aenean risus libero, placerat at vestibulum eget, ultricies eu enim. Praesent nulla tortor, malesuada adipiscing adipiscing sollicitudin, adipiscing eget est. - -Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce bibendum neque eget nunc mattis eu sollicitudin enim tincidunt. Vestibulum lacus tortor, ultricies id dignissim ac, bibendum in velit. Proin convallis mi ac felis pharetra aliquam. Curabitur dignissim accumsan rutrum. In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. Proin eget nibh a massa vestibulum pretium. Suspendisse eu nisl a ante aliquet bibendum quis a nunc. Praesent varius interdum vehicula. Aenean risus libero, placerat at vestibulum eget, ultricies eu enim. Praesent nulla tortor, malesuada adipiscing adipiscing sollicitudin, adipiscing eget est. - -Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce bibendum neque eget nunc mattis eu sollicitudin enim tincidunt. Vestibulum lacus tortor, ultricies id dignissim ac, bibendum in velit. Proin convallis mi ac felis pharetra aliquam. Curabitur dignissim accumsan rutrum. In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. Proin eget nibh a massa vestibulum pretium. Suspendisse eu nisl a ante aliquet bibendum quis a nunc. Praesent varius interdum vehicula. Aenean risus libero, placerat at vestibulum eget, ultricies eu enim. Praesent nulla tortor, malesuada adipiscing adipiscing sollicitudin, adipiscing eget est. diff --git a/_posts/2019-7-27-this-post-demonstrates-post-content-styles.md b/_posts/2019-7-27-this-post-demonstrates-post-content-styles.md deleted file mode 100644 index 99e68c5fe..000000000 --- a/_posts/2019-7-27-this-post-demonstrates-post-content-styles.md +++ /dev/null @@ -1,95 +0,0 @@ ---- -layout: post -title: This post demonstrates post content styles -categories: Miscellaneous ---- - -Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce bibendum neque eget nunc mattis eu sollicitudin enim tincidunt. Vestibulum lacus tortor, ultricies id dignissim ac, bibendum in velit. Praesent varius interdum vehicula. Aenean risus libero, placerat at vestibulum eget, ultricies eu enim. Praesent nulla tortor, malesuada adipiscing adipiscing sollicitudin, adipiscing eget est. - -## Some great heading (h2) - -Proin convallis mi ac felis pharetra aliquam. Curabitur dignissim accumsan rutrum. In arcu magna, aliquet vel pretium et, molestie et arcu. - -Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. Proin eget nibh a massa vestibulum pretium. Suspendisse eu nisl a ante aliquet bibendum quis a nunc. Praesent varius interdum vehicula. Aenean risus libero, placerat at vestibulum eget, ultricies eu enim. Praesent nulla tortor, malesuada adipiscing adipiscing sollicitudin, adipiscing eget est. - -## Another great heading (h2) - -Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce bibendum neque eget nunc mattis eu sollicitudin enim tincidunt. Vestibulum lacus tortor, ultricies id dignissim ac, bibendum in velit. - -### Some great subheading (h3) - -Proin convallis mi ac felis pharetra aliquam. Curabitur dignissim accumsan rutrum. In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. - -Phasellus et hendrerit mauris. Proin eget nibh a massa vestibulum pretium. Suspendisse eu nisl a ante aliquet bibendum quis a nunc. - -### Some great subheading (h3) - -Praesent varius interdum vehicula. Aenean risus libero, placerat at vestibulum eget, ultricies eu enim. Praesent nulla tortor, malesuada adipiscing adipiscing sollicitudin, adipiscing eget est. - -> This quote will change your life. It will reveal the secrets of the universe, and all the wonders of humanity. Don't misuse it. - -Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce bibendum neque eget nunc mattis eu sollicitudin enim tincidunt. - -### Some great subheading (h3) - -Vestibulum lacus tortor, ultricies id dignissim ac, bibendum in velit. Proin convallis mi ac felis pharetra aliquam. Curabitur dignissim accumsan rutrum. - -```html - - - - -

    Hello, World!

    - - -``` - - -In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. - -#### You might want a sub-subheading (h4) - -In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. - -In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. - -#### But it's probably overkill (h4) - -In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. - -### Oh hai, an unordered list!! - -In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. - -- First item, yo -- Second item, dawg -- Third item, what what?! -- Fourth item, fo sheezy my neezy - -### Oh hai, an ordered list!! - -In arcu magna, aliquet vel pretium et, molestie et arcu. Mauris lobortis nulla et felis ullamcorper bibendum. Phasellus et hendrerit mauris. - -1. First item, yo -2. Second item, dawg -3. Third item, what what?! -4. Fourth item, fo sheezy my neezy - - - -## Headings are cool! (h2) - -Proin eget nibh a massa vestibulum pretium. Suspendisse eu nisl a ante aliquet bibendum quis a nunc. Praesent varius interdum vehicula. Aenean risus libero, placerat at vestibulum eget, ultricies eu enim. Praesent nulla tortor, malesuada adipiscing adipiscing sollicitudin, adipiscing eget est. - -Praesent nulla tortor, malesuada adipiscing adipiscing sollicitudin, adipiscing eget est. - -Proin eget nibh a massa vestibulum pretium. Suspendisse eu nisl a ante aliquet bibendum quis a nunc. - -### Tables - -|Title 1 | Title 2 | Title 3 | Title 4 | -|--------------------- | --------------------- | --------------------- | ---------------------| -|lorem | lorem ipsum | lorem ipsum dolor | lorem ipsum dolor sit| -|lorem ipsum dolor sit | lorem ipsum dolor sit | lorem ipsum dolor sit | lorem ipsum dolor sit| -|lorem ipsum dolor sit | lorem ipsum dolor sit | lorem ipsum dolor sit | lorem ipsum dolor sit| -|lorem ipsum dolor sit | lorem ipsum dolor sit | lorem ipsum dolor sit | lorem ipsum dolor sit| diff --git a/_posts/2019-7-28-super-short-article.md b/_posts/2019-7-28-super-short-article.md deleted file mode 100644 index ddb155b7f..000000000 --- a/_posts/2019-7-28-super-short-article.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -layout: post -title: Some articles are just so short that we've to make the footer stick -categories: Miscellaneous ---- - -Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum. \ No newline at end of file diff --git a/_posts/2019-8-12-code-snippets.md b/_posts/2019-8-12-code-snippets.md deleted file mode 100644 index 6605910c1..000000000 --- a/_posts/2019-8-12-code-snippets.md +++ /dev/null @@ -1,42 +0,0 @@ ---- -layout: post -title: Code snippets in a blog post -categories: [HTML,Code] ---- - -This post demonstrate the use of code snippets in the theme. The code snippets are powered by [Pygments](http://pygments.org/) and the code theme that is been used in Reverie is called [Draula](https://draculatheme.com/). - -This is a raw snippet: - -``` -hello world -123 -This is a text snippet -``` - -This is a PHP snippet: - -```php - -``` - -This is a JavaScript snippet: - -```js -const add = (a, b) => a + b -const minus = (a, b) => a - b - -console.log(add(100,200)) // 300 -console.log(minus(100,200)) // -100 -``` - -This is a Python snippet: - -```python -def say_hello(): - print("hello world!") - -say_hello() // "hello world!" -``` From f5064cde073676c8ac6acd83934cc9f29df23724 Mon Sep 17 00:00:00 2001 From: Pierre Laperdrix Date: Wed, 18 Mar 2020 16:07:09 +0100 Subject: [PATCH 3/4] Updating site --- _config.yml | 9 +++++---- _layouts/default.html | 4 ++-- _pages/{home.md => index.md} | 30 +++++++++++++----------------- assets/style.scss | 2 +- favicon.ico | Bin 5430 -> 263 bytes images/modsec.png | Bin 0 -> 10671 bytes 6 files changed, 21 insertions(+), 24 deletions(-) rename _pages/{home.md => index.md} (78%) create mode 100644 images/modsec.png diff --git a/_config.yml b/_config.yml index 32a08f9ac..653db8087 100644 --- a/_config.yml +++ b/_config.yml @@ -3,16 +3,16 @@ # # Name of your site (displayed in the header) -name: ModSec +name: ModSec'20 # Name of the author author: # Short bio or description (displayed in the header) -description: A MODELS 2020 workshop +description: A MODELS workshop # URL of your avatar or profile pic (you could use your GitHub profile pic) -avatar: /images/reverie.png +avatar: /images/modsec.png # # Flags below are optional @@ -58,7 +58,8 @@ baseurl: "" # !! You don't need to change any of the configuration flags below !! # -permalink: /:title/ +permalink: /:basename/ + # The release of Jekyll Now that you're using version: v1.2.0 diff --git a/_layouts/default.html b/_layouts/default.html index f7f4f5c1d..21b26f889 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -27,8 +27,8 @@

    {{ site.name }}

    diff --git a/_pages/home.md b/_pages/index.md similarity index 78% rename from _pages/home.md rename to _pages/index.md index a0b3ce0fa..d14e9eafa 100644 --- a/_pages/home.md +++ b/_pages/index.md @@ -1,6 +1,6 @@ --- layout: page -title: Home +title: First International Workshop on Modeling and Security permalink: / --- @@ -30,6 +30,8 @@ We invite you to submit a paper and join us at the ModSec workshop, which will b Canada. We are excited to welcome original work describing research, visions, or demos in all areas at the intersection of software engineering and security for this workshop. +We are interested especially in contributions that look at modeling security either from the software engineering perspective, +or the security point of view (with threats models, attackers and defenders models). We accept both longer papers on mature/completed work in a research track, as well as shorter papers on work in progress or work that has yet to begin in a vision track. This decision to accept both types of submissions aims to @@ -40,16 +42,10 @@ workshop's participants. Topics of interest include, but are not limited to, the following: -- Risk-based development -- Security in agile methods -- Policy frameworks for access control -- Modeling security -- Security testing methodologies and code reviewing -- Patch and update management -- Threat Models and attackers -- Secure system requirements and architecture -- Software variability and diversity for security -- Security in machine learning +- **Modeling Security:** Threat models and attackers, Secure system requirements and architecture, Software variability and diversity for security +- **Security in the Development Process:** Security testing methodologies, Patch and update management, Security in lifecycle development +- **Security in Machine Learning-based Systems:** Security methodologies for machine learning, adversarial machine learning, modeling security in machine learning, modeling machine learning +- **Secure Modeling:** Modeling with security aspects, V&V, Secure Software Variability We have observed that the most effective workshops are those that encourage discussion between attendees. Each paper presentation will be followed by about 10 minutes of discussion to promote engagement and helpful feedback. @@ -65,12 +61,13 @@ Submissions must be uploaded through EasyChair at the following link We accept three types of publications: -- **Research track**: Full research papers (10 pages)** present a novel, innovative approach to one of the workshop’s topics. +- **Research track**: Full research papers (10 pages) present a novel, innovative approach to one of the workshop’s topics. References may be collected in 2 additional pages. -- **Short papers (5 pages)** present new ideas or early-stage research related to one of the workshop’s topics. +- **Vision track**: Short papers (5 pages) present new ideas or early-stage research related to one of the workshop’s topics. References may be collected in 1 additional page. -- **Tool demo (2 pages)** to present a tool that allows the modelling of security aspects or that can demonstrate an -interest for workshop’s participants. We expect tool presentation to be 15 minutes or less +- **Demo track**: Demo papers (2 pages) introduces a tool that allows the modelling of security aspects or + that can demonstrate an interest for workshop’s participants. We expect tool presentation to be 15 minutes or less + during the workshop. All submissions must be in PDF and in the ACM format. Formatting instructions are available at [https://www.acm.org/publications/proceedings-template](https://www.acm.org/publications/proceedings-template) for both @@ -95,9 +92,8 @@ handled by the main conference and will be posted closer to the event itself on # Organization ### Workshop co-chairs - -- [Pierre Laperdrix](https://plaperdr.github.io/), CNRS, CRIStAL (France) - [Moussa Amrani](https://directory.unamur.be/staff/mamrani), Université de Namur (Belgique) +- [Pierre Laperdrix](https://plaperdr.github.io/), CNRS, CRIStAL (France) - [Paul Temple](https://templep.github.io/), Université de Namur (Belgique) ### Program committee (to be communicated) \ No newline at end of file diff --git a/assets/style.scss b/assets/style.scss index f54b5b4d6..63432857f 100644 --- a/assets/style.scss +++ b/assets/style.scss @@ -459,7 +459,7 @@ body:after { text-align: center; font-weight: bold; font-kerning: auto; - font-feature-settings: "kern","liga","dlig","hlig","cswh"; + //font-feature-settings: "kern","liga","dlig","hlig","cswh"; line-height: 1.2; } diff --git a/favicon.ico b/favicon.ico index ba16a471b77feebee9274c01cec42f1436063342..5a75054b5b96e352e6498825eb0b0d584fe8df8d 100644 GIT binary patch literal 263 zcmV+i0r>ujP)R zfQFW~*?)+RoTI3dnxBZIzHNLF8lny$FL!FHR#PhDr8vc`On zpvfU%W&i*HiAh93R5;7!l0gyzAq)fw$!G#uMF0O-!O~m6!=5brN;6C)r1Wo?4D2!~ zp`eMR*V}b)#6qn^TLD@@JAqVrmtbYk)+PNu?`Bgq(=g$yQ1eG^pjP8k|&4t1uh0>_6lh|Hphh=`O@N|6#oq=Zm{loCoYp2PIQzSTRA<8Zp9*JlJ4N;+**|6Ax@ zfNv5zZS^hZPW``ST;JS$^t}Q4Ma+L5&VV&rdmKyKn~dF0#`T|pSHPOZ^{R@aZDKLJ0L_>TTd;5tUTOZ4?s%IDX4b`zY>Er`BX=ubjfj8U#5+NSMi*rmSZIIf3l z>b`7&dvp^nLYyz%zHIFeVQrkt*QV%a;Cb}j5cmvZFxugd4+(T14Poi=zO6p``p#(b z9QYpXg6tuN=g&E~2d<}kw+Vkj4_3glr0s6W0Rp*3=1JE)_pPly`VK4Z`^Rt(a(U|X z`YwU7b|Oz;{43POZ#w=Pv5eV7Jg2vzY3!zUe-rcRngZOfs@z|rKM759Y3KgGllWLe z?o4=hU8kxXi|A)FW2wD&;!PNV;}t&Us5%elDr{ryrultO4#FegU5x%|YcA`HGDl|% zQoH!wB)@w!1CPO#0kMo}u6c;!+Zl6JwS)5ej-G~5coE#=su-!xoQgHOXX$wPJC}bQ zzawDoQ(!G+zd?O-n)_G-pQ`-7;OCt-##aquRMql2eya_9)BO5OfM@MS1OKYr>f8h8 zksFWtnBO(?PI-2{V|Du${d28v>;~k>1;t&Zgo4&e-$6^;c_PCee_R3 z6wm5;*p2+=J^;QIx%YX6F>{t>k`H~WYFI=+4bCUWM~r#ioww_mdk3#Gwg;+Y4&`k~ zYp~vl8jQIB){&d{24k+vATdT&4W19rY>q+a$N8As^VmdOhpUjT!?54ih*dZ5v@XxX zIjEc0pqf1A?wzrQ70=RT$n9xWer-Po=bWB%R71%OUdLb+euj03YjcOb|4V$w-T-YI z$@b>d_I9_m{ci|oc_euLK_nNh8wl-+nth(S(xD+y1fVA$GYWeP}uGZDC?$B3pq+=y4w( z%A85Ln>lZt9`c1WFtJQ zm{CLOddg*bLu|ZcU4n&%<`kVXFv(0uTh<=s2DL???2u4DHxFPd4UN2#pNFmeeWW+P z9n#U+T>-LOT@T@RMkqi`uj^dV@lZuNIco->k%j@fM)m>s?PU-UCB;+nezHJ;8`9gB z-_Om}-AmR_0dk~Q7CckQ5)l3)5%2p75HlTpepM72$$t%c4SGdf&Cl5v22ni4FONnz z$Qr=a|DghWQ-C;mdwa-ANMJA+DCQ~@g?5yXl#!8PJyO$tU z#h*IhNH2S|vxm1c%AKF8)7B2<@TkQf5D|{lGSpvbwrvvBfOpd z8uk}M6Y1>e1Xl7-g-0Acv@;U;fVx@*h$KXU>Pd-zxDxD)#D8uL)j$9HKYvg1Z~6Fd zcm3_If6D{^mhj)v^|!nJEf4%#!hc8C|1Ec&`U~74-2tM*0O-cXzW{J34Xu}omJtI3 z!|->#2^t#SKeXV=Mt(y}qmoWm=9!`shAs^bJWQqD*>=aZ3a4A2bVx~+#Z2Ec?x#a_ ze-_eZo64U4UF&?w8as{0yc>h~*}=Z! z{OtcS>c4)ps_bpZ@(c=)ObcGW+iPI#=7xIzwe|)oc(m(h;E#xfEL1ti-+@{RBwbgLf_2; zP`hzGIOVd>V7Rh|x&~c89T*Oj@NgP&b^ntTUK>yLBhX7>vuF1QTX@f;eH>yyvigv^ z0{5nbR)3nyAC3=m6@Xu=d*-Et0ju_^`zbLUOs3Nkx`| zjAE@HzJB@beSNn_ut-@n)(c@6mAObB!LIEZ2XWhUOiLBnERjdHF8mz9~Uw; zwqQG;I>^9brOZe{Movja?(j;Q_yG@;{eV;w8y(xe1kq@UN?a!`?oU%fv`f0Y20hHF zszYm({|cs#j@4e0R152tmzI~6mVergY(N67d~?wWp!Ij~|*R%LicaiYpX9Di$BwX(-Wg(w9_u#j~&MO;0jW91`# zYp%ssXL4CWca8hMeo1ZFZ2B>?JM>E$)kOIa8|+U17fCgxK;B9A1F}i~FK5lU4JRLy z-n>kT)sqOIoK;#o!smLk310 z3u5#|?r7Z5c-~fGrr{94o*;vs#qUoJCJN1VEQ38*S&WqaVCa_pkx>gG`q5h%MY+=3 zgqO!sG}}MOVcBJ2va5ZyBjZ`)g6xTHWxTN330(g`$@Wt97H@N|pyBRgL~MEvfAcbP zY!J~K72%L~Bfbm728eYHDU zZ^O>>z2IxX1!Bb$C03`9v7je@tIl(jZYB`#B$(@mqS5Gq6LQ>>SzSrLMWHh8YOlQ! zpt^8IjAE1zNocbr+>m{W>2I^qI*^fYoBfg=x- z2)M52y5DeDCBLdEc_F^|kSH_695$s4G$+2#xAcso&*V_yxb^-eO)cHiRAYQd;r-i$ zQc+18e{+EXm&>!UK?_o6>pxF@4+}IdJCEO@hUs%+ONn%Ui_6>eTR|Rv>$W#6WYg!@ z?mUo%LEpR+MF+8IK>d;ZIQFaqU$k!s+Lr<(c27m$17@jfbXt+1Q+KtJj5T8Y1D`0l zy`EE3qPj9%?1P+|xOWi&36;or!ycd!38FB4KIIj8)oN5(`I2Fjh1X8cRPIVt$cfXE zjgqoxU-OZMFx=|+{bHj8jjTD4w5)hHHqn-3ZDxLV|J&<9SDT#J4yclBRc3V-i-hhr z8#l5{&5cHmj-$kquSqG5uAaltLb1Y1uuorK>*c#FOjGJy!eY}K^T@BpM)CF6V#n(O z57F3qPwp-UK6cT*wc6S-vKn9=&TJGAJZrYOtY5U=2yfE7uDIee!pVq} zlEZ{53(5~i+LjK>SUjyhxV!f zeiFl>T5@82o%-)mT+r= zRXAZhYX4QIhkrb7Wden!rdUcYTkV1QX|kGo7Byk~-RZwlkABj3Myt_49Ewt)xO~XF z(x(FUG1FV4PPXw$Jv;t$HSwe4tt434ug!Br*;R3Tx^K0aQX6I}?}ke1r0gm&OHE<> zJ7G<&J|$OK;(Gn8$4_bKH2&cv2amZ%omE@lSc$A%hczQG*D~m36!ynl*>e55qsjuY zGF}Ls^B5Y^BQY#iK5(1|FE>LBn_hkR9o;6VD!L((dz7;$M*=joJmZ4Cg7_6i5Ay7M zwPY3uO6geTB$Zj64{0v6kF7L&GXzl} z$qV!KiRbtYKV7e+-Te` zotEpTgH^|yWCdQT>gbS>4k z9<7oapT=A{@jSvGD#26wyku@bI;!Z!Ec#`Z05!RAcrRmwWV?TlL`a1VY3~*wgW^Ye zSX%j+ev>K6mel;1j;Fq|>sPSfGS$rAwm&^>vkWPAm0OcfrdK)+nX$;I7bzWVZbAv1 z2o9&h2}W{gR_nAzTvpTmONsEy;iJKpnj4&U@x2?=`Br#5fMTK`ze-#jjw}OYoU+O0Hu&PdhdH%QGoQ=)tR*U^(BFjt4*N7Z8o`NA|HmnI;^V5=dI_QayQ<1PLzcS`;uVfSJoF4f4J5|HUk-J%9< zad+|XcZwg`GYCA>=+eaR0g76>z;qUwvTY-%)Y#)256@nz-e&6AZa=Cw?+o3Z zM-JA8N=c(ayn>f@#>S!?_3TW3QgKC)^>a{2+?{^{5LxH9NdnB7-Mgc4jFOIH5xLeeryEi0UT zT_{%l)z93&J46%H22>k$WEJ$p!A`B-gP=SqMv|`G$BG``6ZtT9@!RTE_-Y&@U{fQ+ zI+smq!8VL#5l0^goeSmkB{gLU%rrj@uRMEIrK2Z?IuGTYTAO8TbixU)8zoCbDK8m^ zw8p5pfj49hE9x24+Bf;t(!KtfvaOf)4ZwSO9HJ^@PaVBcioq|(QV`A{`)5?z)6 zt3xqWUC%qUJ&lnFd za+rD@*tSHxjolwywErWE3KMUX&B>eHUMAMo7E$+BP>aM%v3KWwKQ%{GsQDMtSDX*P z)KREp*&`TM2q(X^o(HiwN5uDC1_ve`4}RPC9e^rx#NJzoK;TKRTp9MwyWs2vC-@`8 z`S(X7(~B(lTt_CHTU%~Vf`fr5IJUO};8qpOnC=*ER&TW~wVo<(a3ZV8e8IU@QpR9G zDiSN?)CJ}1G}>y`N+2-CTKOu%2)>9}!SOs(Mv9!x{>6_f+!{9fv?9J^qbx;?S)ecD)f`c~RFHj*)SFnk296BqfzyazWzD@2V3L$N6x&u3H$)#~r_;FCtQHmuJN;=Cx8*`Nfm$TVthJUFG;Zgp zO%kKlqlortBFkbFX1-Gn?TPPg2sGaBT+mj8QbXWG&^?wzY%;m<@Q1sx+KleuFkOIO zQNSMgpaW}cY++nx+&!lbJllCW8C8qj8lvCSJ7E}!PyA8)6@X_TD6JrH^2VWE106OG;lMo6MY(yW!VaT553hmIR@Fc}s6^!7z3z@=NB~2acYk zIGN-fq8W95iR5JHu2r=?gkloKy~%a0x_BB~cUS11v6h-?lzP z7|%{@SD=X@q8I{4{$#mc8bpOY zy~fby@p<;iO#6~`vK&>;y=!_~?!YcYRnQ*TlWH<4WlyxDK4qe1DA6+oCBdKaT*APd z>|!B3%djZ%@p%x4-kEJt5ggQe*$ehBPfde<1@$wIS1AKkTsZ?SSQ1-X1ka~OI7xQ( zcf7pKdO?2SQj9UxoU`=+qCxSCKAP5l-KrUlxQNp#3B>5ip_{h;QF?@FBx83fS+(z=Bq^fqd|7PVvPZ^#&G2|7EGOrXgVPo(yH{@+JpON9Aw*rX8b z<^@badBmmh`B^Rn#oC`0YJs3tv64Ijiur0(flJ%+BF6ntu40)OEVQ~ZPZ+0A#^0P2 z4_;~OnymM`v1hhm*|>f9W4|+THzQDy@2Kr_`Yhf=CJwuN{AlXX=>FX&ShOz`cPwWV zH(Y<7CR-4+okCxMno=GVBGfZV>9Q(>_FT3< zMAToEhG^2&%rsA=asH(AwA2_P=gPoQK?%F9L8r;zlF@#-fwDs5pYId+B$g>Y$_Ue5 zxW1`VsrAc6&BKa_IU>!;H$$gu5*nnA#ivoE1h_3-fAJD0)Ka6@~N;cfitshg%;;shwJhN(=KY1 zSJER2Ol}I>sNGH^0?wH{Ik;}!)8`^M7UnpY;MzN|_?K0xB$8ueb<~9k(FSImA=SXn zi=4#nkE*1kNY^B$b8bHc(5>(fdmWs@wC0??qUcHZ<~gHmC!YwS)g$ZHX9}+o*_L4} zxU-@qcVPN?+~LH?vx6TH+4^D2aNR88=ZWJNdmHGtWKUHIoaM}x_R(M))p0s2y1J!A z(O+0N4GsO=&tvY5xfnDFFQ;d|s9P9}%Am8_efJn>qZYNh%Il!NM6OF+kF>=6Vdrs- z>0*S%hO9QJDsX~^&Ip6(ac=Y}8TbRtqgKf9WA~(QhEPe`RwxAYv5Gb}d@2%=IAZ4m z+Nbed&?x4!c(Rlm&;cpHsm+lyYpb~6eTZyFV3k6Ww>1q#LoXPjOM*~QuxPpaz zIF$R%WOv8@{qixwyc-vKJkm9o<>CkaEv((pEfm&ZbVK1fCr3BGUhaYfj%#t=F!905 z^_rXk3`ELo9DGq`Ds#lV?NWOGImJ?kPQ)O7PZz<$cI+I8;C==Bih8#-~;KWPF_ps!}Qw_aQ7HINv~bQ zKbt`87<(tSa?H!P?E1rp>31Mfey41%RMWiJEUj1`bKEw1{Vb^NnZvTF1N#-vYPl`0 z{e1bYbBH8jhfB%e3GG49jR3LwgOX2eE_Lxa3KuNrd=Bn+foTtd&Z_ZNGNLj&*%=a{ zF893;k>aZC{xb_3&KR&Gf-e0YE3BB3&EAz6{f>V&h4^y*N%P`yk!jGF3bW~Vy(T*k zcduy_O|pgfV#rd%E6;bj$`WQP`WJ)SZ*t~j4^p1K@ASJYhU2PFd)IO$;Pj^HqZ;=0 zQ<@})2&)vU-z%?Ynv!a=O+j>o=v}Q2Eq1w4#4w${o907}J*hOSZ%p*B`&_MYOFRLO zh0#v3)eLm4S7bY8&ZnYoLd9@lgD1M}tZ_SZq*d0z#p8{hVZ&=Gch;WTvC4c(X=Oxm zJaCwrDw#PiER0UulBGpn90FY(2UQ{<0d-S@j~~F23I<)QFM3$tF@r>~?Lph2+3*~FIHB*fkj(Pd(AQ=A+-zqr?jce<%;@UOT%zTwCi=$ zC!pz>o?*Dbq#vTd|FsU4FY)aS(`(8_F&w>zhhHBoDMo@{@3mzImp`O}1v$kyr!plN zH``S8LW%-sUfOIpF~z9q2CmRL1Jo`Rl^%ISKZ(@jYVP3ext8H8Pl2t&7#GRfs((3lc=3IT1GnB~oW+>Ec#<;rZNy8aNizuJv|dEXX%3IxncWxC&xy2; z&_AOUE6+4bWGb9#X2siHtdQAOF$^!bJ4OqM&CMhVJOcgIO`Sm#q!YePhx;~3>H75M zOV`4s#F%4Fm+#*4#?(joe17@RE~s z@TQf%&iC=ejZgAbYpbg1`r!l-^nMMzQy7fDr_8NK+V+o3zkQMZEK}w8?R6C}*=H4V z^Y8-CeKghvd<%a$vYMlamH!4tif}iV8*7r1 z5?qZluYTtDN?W*ZT=wh-rnIf_gPiq44uIDz6dP7t%*VzUuxr)W_56f1BX)lVFd_AZ z_AyozSB*aE+urvlP4t%pfj1`=^@matVyQ+`MfLmn(*oyBr@l>?K``ziVt4WxG1kwg zVfOh=p8;u$yY)za)y!RJ1b-5zDjWUQlom-@i2L&8HYUhY3WNhJ!}cxDW%|n@NtQ7> zzZn$o72aK~3^}9HoqQ+82Vuv<&Ff?OJYy-+<-K6<8!=4rf|EOM z>r7i-6Kkp&k6Xj`TB}&HmQ9RXUOe%&kB6VPhhNgqClI{6`DpMDgBan}Pu{YP@oldM zMnww?`oFpPvHGi2@!DC=ps(1OJiYHwEcqConfD=r3i&@ z20>xCV)%?+00(shgEF$S{v0M)m}nQ-&blU`u5@_)1~k$$Mk5SIH<>^V_eG8vV#)^}Vs5fT)0KwwRM;3bo#UwJ)S zBelm$egKcWl-Z%!3hZXXkIeE^_|OJGINfeOfX|4o?R}ihdd)Y}H~QRRz3dHHph#+9 zVCK+Xap$x^`<4o6GsNMhqXF%x#AC1=-JL_d1D5-n&8yw(HhOK4vBK;v83xg8QE?W?c6P2r!MwHxCH+7#hFG; zL`mdKJErrboe=D7jKkF!vVruYiA-i8*cWpib%oLKb;E)6?h zp0CM{#12}FJ8yLYdn8kv;hu}fxRJ4i>C}eHAJ(j8;C|p@@jrYoEW5RQMVIR`?|n{T Q>OVDVsp-N$sN8$_A0%eOQUCw| literal 0 HcmV?d00001 From 1c12dd611d30445f028dee9c623bec0f16dc7b53 Mon Sep 17 00:00:00 2001 From: Pierre Laperdrix Date: Fri, 20 Mar 2020 14:43:38 +0100 Subject: [PATCH 4/4] Updating site --- _pages/index.md | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) diff --git a/_pages/index.md b/_pages/index.md index d14e9eafa..4fa7ee952 100644 --- a/_pages/index.md +++ b/_pages/index.md @@ -65,15 +65,12 @@ We accept three types of publications: References may be collected in 2 additional pages. - **Vision track**: Short papers (5 pages) present new ideas or early-stage research related to one of the workshop’s topics. References may be collected in 1 additional page. -- **Demo track**: Demo papers (2 pages) introduces a tool that allows the modelling of security aspects or - that can demonstrate an interest for workshop’s participants. We expect tool presentation to be 15 minutes or less - during the workshop. +- **Demo track**: Demo papers (2 pages) introduce a tool that allows the modelling of security aspects or + that can demonstrate an interest for workshop’s participants. We expect tool presentation to be 15 minutes or less during the workshop. All submissions must be in PDF and in the ACM format. Formatting instructions are available at -[https://www.acm.org/publications/proceedings-template](https://www.acm.org/publications/proceedings-template) for both -LaTeX and Word users. LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, -enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), -and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). +[https://www.acm.org/publications/proceedings-template](https://www.acm.org/publications/proceedings-template) for both LaTeX and Word users. +LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). The review option adds line numbers, thereby allowing referees to refer to specific lines in their comments. All accepted workshop papers will be published in the ACM Digital Library along with the main conference’s proceedings. @@ -96,4 +93,4 @@ handled by the main conference and will be posted closer to the event itself on - [Pierre Laperdrix](https://plaperdr.github.io/), CNRS, CRIStAL (France) - [Paul Temple](https://templep.github.io/), Université de Namur (Belgique) -### Program committee (to be communicated) \ No newline at end of file +### Program committee (to be communicated)