This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// vector<bool> specialization -*- C++ -*- | |
// Copyright (C) 2001-2020 Free Software Foundation, Inc. | |
// | |
// This file is part of the GNU ISO C++ Library. This library is free | |
// software; you can redistribute it and/or modify it under the | |
// terms of the GNU General Public License as published by the | |
// Free Software Foundation; either version 3, or (at your option) | |
// any later version. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@phdthesis{heelan_greybox_2020, | |
title = {Greybox {Automatic} {Exploit} {Generation} for {Heap} {Overflows} in {Language} {Interpreters}}, | |
url = {https://seanhn.files.wordpress.com/2020/11/heelan_phd_thesis.pdf}, | |
school = {University of Oxford}, | |
author = {Heelan, Sean}, | |
year = {2020} | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
export MARKPATH=$HOME/.marks | |
function jump { | |
cd -P "$MARKPATH/$1" 2>/dev/null || echo "No such mark: $1" | |
} | |
function mark { | |
mkdir -p "$MARKPATH"; ln -s "$(pwd)" "$MARKPATH/$1" | |
} | |
function unmark { | |
rm -i "$MARKPATH/$1" | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@inproceedings{avgerinos_aeg:_2011, | |
title = {{AEG}: {Automatic} {Exploit} {Generation}}, | |
booktitle = {Network and {Distributed} {System} {Security} {Symposium}}, | |
author = {Avgerinos, Thanassis and Cha, Sang Kil and Hao, Brent Lim Tze and Brumley, David}, | |
month = feb, | |
year = {2011}, | |
keywords = {MyPHDThesis} | |
} | |
@inproceedings{brumley_automatic_2008, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Front + Back template | |
-------------- | |
{{cloze:Text}} <br /> | |
({{Extra}}) <br /> | |
{{type:cloze:Text}}<br /> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<span style="font-size:150%;"> {{Verb}} in {{Tense}} </span> <br/> | |
<em>Nota: Usi una virgola (,) tra le risposte.</em><br/><br/> | |
{{cloze:Text}}<br/><br/> | |
{{type:cloze:Text}} | |
{{FrontSide}} | |
<hr> | |
{{Extra}} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<span style="font-size:150%;"> {{Verb}} in {{Tense}} </span> <br/> | |
<em>Nota: Usi una virgola (,) tra le risposte.</em><br/><br/> | |
{{cloze:Text}}<br/><br/> | |
{{type:cloze:Text}} | |
{{FrontSide}} | |
<hr> | |
{{Extra}} |