Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add qce paper to gh page #1424

Merged
merged 2 commits into from
Jan 31, 2024
Merged

Add qce paper to gh page #1424

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
fd4462d
Add qce paper to gh page
KuechA Jan 30, 2024
118b989
Update readme
KuechA Jan 31, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 8 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -187,6 +187,8 @@ Before accepting external contributions, you need to sign our [CLA](https://cla-

## Further reading

You can find a complete list of papers [here](https://fraunhofer-aisec.github.io/cpg/#publications)

A quick write-up of our CPG has been published on arXiv:

[1] Konrad Weiss, Christian Banse. A Language-Independent Analysis Platform for Source Code. https://arxiv.org/abs/2203.08424
Expand All @@ -205,6 +207,11 @@ An initial publication on the concept of using code property graphs for static a

[5] https://github.com/ShiftLeftSecurity/joern/

Additional extensions of the CPG into the field of Cloud security:
Additional extensions of the CPG to support further use-cases:

[6] Christian Banse, Immanuel Kunz, Angelika Schneider and Konrad Weiss. Cloud Property Graph: Connecting Cloud Security Assessments with Static Code Analysis. IEEE CLOUD 2021. https://doi.org/10.1109/CLOUD53861.2021.00014

[7] Alexander Küchler, Christian Banse. Representing LLVM-IR in a Code Property Graph. 25th Information Security Conference (ISC). Bali, Indonesia. 2022

[8] Maximilian Kaul, Alexander Küchler, Christian Banse. A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis. IEEE International Conference on Quantum Computing and Engineering (QCE). Bellevue, WA, USA. 2023

26 changes: 25 additions & 1 deletion docs/docs/index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -127,14 +127,38 @@ collaborate and push the boundaries of static code analysis.

<div class="papers">

<div class="admonition paper">
<p class="admonition-title">A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis</p>
<div class="left">
<p class="authors">Maximilian Kaul, Alexander Küchler, Christian Banse</p>
<p class="conference">In: IEEE International Conference on Quantum Computing and Engineering (QCE). Bellevue, WA, USA.</p>
<details><summary>bibtex</summary>
<pre><code>@inproceedings{kaul2023qcpg,
author={Maximilian Kaul and Alexander K\"uchler and Christian Banse},
title={A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis},
year={2023},
booktitle={2023 IEEE International Conference on Quantum Computing and Engineering},
series={QCE '23},
doi={10.1109/QCE57702.2023.00115},
location={Bellevue, WA, USA},
publisher={IEEE}
}</code></pre>
</details>
</div>
<div class="right">
<a class="green-button" href="https://arxiv.org/pdf/2308.06113.pdf">preprint</a><br />
<a class="green-button" href="https://doi.org/10.1109/QCE57702.2023.00115">paper</a>
</div>
</div>

<div class="admonition paper">
<p class="admonition-title">AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation</p>
<div class="left">
<p class="authors">Alexander Küchler, Leon Wenning, Florian Wendland</p>
<p class="conference">In: ACM ASIA Conference on Computer and Communications Security (Asia CCS). Melbourne, VIC, Australia.</p>
<details><summary>bibtex</summary>
<pre><code>@inproceedings{kuechler2023absintio,
author={Alexander K\"uchler and Leon Wenning, and Florian Wendland},
author={Alexander K\"uchler and Leon Wenning and Florian Wendland},
title={AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation},
year={2023},
booktitle={ACM ASIA Conference on Computer and Communications Security},
Expand Down
Loading