spectector.github.io/index.xml at master · spectector/spectector.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Spectector</title>
    <link>https://spectector.github.io/</link>
    <description>Recent content on Spectector</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>en-us</language>

	<atom:link href="https://spectector.github.io/index.xml" rel="self" type="application/rss+xml" />


    <item>
      <title></title>
      <link>https://spectector.github.io/post/description/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>

      <guid>https://spectector.github.io/post/description/</guid>
      <description>Spectector is a tool for automatically detecting leaks caused by speculatively executed instructions in x64 assembly programs.
In a nutshell, Spectector symbolically executes the program under analysis with respect to a semantics that captures the effects of speculatively executed instructions. During the symbolic execution, Spectector derives SMT formulae characterizing leaks caused by speculatively executed instructions, and it relies on the Z3 SMT solver to determine the presence of possible leaks or prove their absence.</description>
    </item>

    <item>
      <title>News</title>
      <link>https://spectector.github.io/old/news/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>

      <guid>https://spectector.github.io/old/news/</guid>
      <description>20 Dec. 2018 &amp;ndash; Spectector is online :-)</description>
    </item>

    <item>
      <title>Resources</title>
      <link>https://spectector.github.io/old/usage/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>

      <guid>https://spectector.github.io/old/usage/</guid>
      <description>Second post Usage maybe?
DoSomething()  And the output would be:
Something  </description>
    </item>

    <item>
      <title>Downloads</title>
      <link>https://spectector.github.io/post/resources/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>

      <guid>https://spectector.github.io/post/resources/</guid>
      <description> The source code of Spectector is available on Github at the following repository  . See the README for more information on installing and using Spectector.
 The benchmarks used in the Spectector&amp;rsquo;s paper are available at the following repository  .
See the README for more information on how to reproduce the experimental results from the Spectector&amp;rsquo;s paper.
  </description>
    </item>

    <item>
      <title>Publications</title>
      <link>https://spectector.github.io/post/publications/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>

      <guid>https://spectector.github.io/post/publications/</guid>
      <description>Hardware/software contracts for secure speculation
Marco Guarnieri, Boris Koepf, Jan Reineke, Pepe Vila
In: Proceedings of the 42nd IEEE Symposium on Security &amp;amp; Privacy, May 2021
  Paper   Extended version (arXiv)   Talk
 Spectector: Principled Detection of Speculative Information Flows
Marco Guarnieri, Boris Koepf, José Francisco Morales, Jan Reineke, Andrés Sánchez
In: Proceedings of the 41st IEEE Symposium on Security &amp;amp; Privacy, May 2020</description>
    </item>

    <item>
      <title>Team</title>
      <link>https://spectector.github.io/post/team/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>

      <guid>https://spectector.github.io/post/team/</guid>
      <description>Marco Guarnieri  IMDEA Software Institute   Boris Koepf  Microsoft Research Cambridge  José F. Morales  IMDEA Software Institute    Jan Reineke  Saarland University  Andrés Sánchez  IMDEA Software Institute</description>
    </item>

  </channel>
</rss>