Pinned Repositories
CFIMining
Closed Frequent Itemset Mining in Data Streams
IPsecTamarin
A (work-in-progress) implementation of IPsec in Tamarin-Prover for automated security analysis
report-template
A LaTeX Template for Writing Reports
student_guide_reports_and_theses
thesis-template
A LaTeX Template for Writing a Bachelor's or Master's Thesis
estadtlaender's Repositories
estadtlaender/CFIMining
Closed Frequent Itemset Mining in Data Streams
estadtlaender/IPsecTamarin
A (work-in-progress) implementation of IPsec in Tamarin-Prover for automated security analysis