User Tools
prosved
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
prosved [2024/07/30 22:15] carlosesteban.budde@unitn.it [Dissemination & events] |
prosved [2024/11/25 21:16] (current) carlosesteban.budde@unitn.it [Dissemination & events] |
||
|---|---|---|---|
| Line 138: | Line 138: | ||
| - __Year__: 2022 | - __Year__: 2022 | ||
| ==== International conferences ==== | ==== International conferences ==== | ||
| + | - **//Digging for Decision Trees: A Case Study in Strategy Sampling and Learning//** | ||
| + | - __Authors__: Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns | ||
| + | - __Conference__: [[https://2024-isola.isola-conference.org/|ISoLA 2024]] | ||
| + | - __DOI__: (to appear) | ||
| + | - __Year__: 2024 | ||
| + | - **//Tools at the Frontiers of Quantitative Verification//** | ||
| + | - __Authors__: Roman Andriushchenko, Alexander Bork, Carlos E. Budde et al. | ||
| + | - __Conference__: [[https://tacas.info/toolympics2023.php|TACAS: TOOLympics Challenge 2023]] | ||
| + | - __DOI__: [[https://link.springer.com/chapter/10.1007/978-3-031-67695-6_4|10.1007/978-3-031-67695-6_4]] | ||
| + | - __Year__: 2024 | ||
| - **//Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation//** | - **//Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation//** | ||
| - __Authors__: Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario | - __Authors__: Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario | ||
| - __Conference__: [[https://www.qest-formats.org/papers.html|QEST+FORMATS 2024]] | - __Conference__: [[https://www.qest-formats.org/papers.html|QEST+FORMATS 2024]] | ||
| - | - __Paper__: in press---but check this prepring [[https://arxiv.org/abs/2406.16447|in arXiv]] | + | - __DOI__: [[https://link.springer.com/chapter/10.1007/978-3-031-68416-6_13|10.1007/978-3-031-68416-6_13]] (and [[https://arxiv.org/abs/2406.16447|the preprint]]) |
| - | - __Year__: 2024 (to appear) | + | - __Year__: 2024 |
| - | - :!: FIG cybersec | + | |
| ====== Dissemination & events ====== | ====== Dissemination & events ====== | ||
| - | {{ :sfscon_best_time_to_update.png?300|SFSCON presentation}} | + | {{ :sfscon_best_time_to_update.png?300|SFSCON presentation 2023}} |
| A social objective of ProSVED is to raise awareness of cybersecurity practices in general, and the importance (and feasibility) of forecasting security vulnerabilities in particular. In this sense, ProSVED has been part of the following scientific and industrial dissemination events: | A social objective of ProSVED is to raise awareness of cybersecurity practices in general, and the importance (and feasibility) of forecasting security vulnerabilities in particular. In this sense, ProSVED has been part of the following scientific and industrial dissemination events: | ||
| + | * **Speck&Tech**: [[https://speckand.tech/2024/10/threat-prediction|Threat prediction]] | ||
| + | * Presentation video: https://www.youtube.com/live/I4o_CH_T-v8?t=3324s | ||
| + | * Presentation slides: https://www.slideshare.net/slideshow/foretell-security-attacks-in-foss-yes-please-but-how/272596860 | ||
| + | * //Trento, IT// | ||
| + | * **ProSVED meeting**: [[https://webmagazine.unitn.it/en/evento/disi/121125/prosved-project-closing-event|Final event]] | ||
| + | * Presentation slides: {{ ::talk_prosved_final.pdf |}} | ||
| + | * //Trento, IT// | ||
| + | * **SMARTITUDE GM'24**: Quantifying risk (impact) of Smart Contracts vulnerabilities | ||
| + | * Presentation slides: {{ ::talk_smartitude_2024.pdf |}} | ||
| + | * //Canazei, IT// | ||
| * **PI stories**: [[https://webmagazine.unitn.it/en/evento/drict/120901/third-times-the-charm|Third time's the charm]] | * **PI stories**: [[https://webmagazine.unitn.it/en/evento/drict/120901/third-times-the-charm|Third time's the charm]] | ||
| * Presentation slides: {{ ::talk_pi_seminar_2024.pdf |}} | * Presentation slides: {{ ::talk_pi_seminar_2024.pdf |}} | ||
| * //Trento, IT// | * //Trento, IT// | ||
| + | * **Lorentz Workshop**: [[https://www.lorentzcenter.nl/predictive-maintenance-let-data-maintain-the-model.html|Predictive Maintenance: Let Data Maintain the Model]] | ||
| + | * Presentation slides: {{ ::talk_lorentz_2023.pdf |}} | ||
| + | * //Leiden, NL// | ||
| * **SFSCON**: [[https://www.sfscon.it/|South Tyrol Free Software Conference]] | * **SFSCON**: [[https://www.sfscon.it/|South Tyrol Free Software Conference]] | ||
| * Presentation video: https://vimeo.com/886816725 | * Presentation video: https://vimeo.com/886816725 | ||
| * Presentation slides: https://www.slideshare.net/slideshow/sfscon23-carlos-esteban-budde-predict-security-attacks-in-foss/264283292?from_search=0 | * Presentation slides: https://www.slideshare.net/slideshow/sfscon23-carlos-esteban-budde-predict-security-attacks-in-foss/264283292?from_search=0 | ||
| * //Bolzano, IT// | * //Bolzano, IT// | ||
| - | * **Lorentz Workshop**: [[https://www.lorentzcenter.nl/predictive-maintenance-let-data-maintain-the-model.html|Predictive Maintenance: Let Data Maintain the Model]] | ||
| - | * Presentation slides: {{ ::talk_lorentz_2023.pdf |}} | ||
| - | * //Leiden, NL// | ||
| - | * **SMARTITUDE**: formal models for security vulnerabilities in Smart Contracts | ||
| - | * Presentation slides: {{ ::talk_smartitude_2023.pdf |}} | ||
| - | * //Salerno, IT// | ||
| * **Vuln4Cast**: [[https://www.first.org/events/colloquia/cardiff2023/|FIRST group technical colloquium]] | * **Vuln4Cast**: [[https://www.first.org/events/colloquia/cardiff2023/|FIRST group technical colloquium]] | ||
| * Presentation slides: https://www.first.org/resources/papers/cardiff2023/Vuln4Cast-Budde.-Paramitha.-Massacci.pdf | * Presentation slides: https://www.first.org/resources/papers/cardiff2023/Vuln4Cast-Budde.-Paramitha.-Massacci.pdf | ||
| * //Cardiff, UK// | * //Cardiff, UK// | ||
| + | * **SMARTITUDE kickoff**: formal models for security vulnerabilities in Smart Contracts | ||
| + | * Presentation slides: {{ ::talk_smartitude_2023.pdf |}} | ||
| + | * //Salerno, IT// | ||
| * **Privacy Symposium**: [[https://sites.grenadine.co/sites/iot/en/2022-privacy-symposium-conference/schedule/8529/CyberSec4Europe%20-%20Research%20to%20Innovation%3A%20Common%20Research%20Framework%20on%20Security%20and%20Privacy|Research to Innovation: Common Research Framework on Security and Privacy]] | * **Privacy Symposium**: [[https://sites.grenadine.co/sites/iot/en/2022-privacy-symposium-conference/schedule/8529/CyberSec4Europe%20-%20Research%20to%20Innovation%3A%20Common%20Research%20Framework%20on%20Security%20and%20Privacy|Research to Innovation: Common Research Framework on Security and Privacy]] | ||
| * Presentation slides: {{ ::talk_psymp_2022.pdf |}} | * Presentation slides: {{ ::talk_psymp_2022.pdf |}} | ||
| * //Venice, IT// | * //Venice, IT// | ||
| + | |||
| + | {{ Speck_and_Tech_meetup.jpg?699 | Speck&Tech meetup 2024 }} | ||
| ====== Special thanks ====== | ====== Special thanks ====== | ||
| Line 184: | Line 204: | ||
| * D. Di Nucci (Univ. of Salerno, IT) | * D. Di Nucci (Univ. of Salerno, IT) | ||
| * G. Di Tizio (Airbus, FR) | * G. Di Tizio (Airbus, FR) | ||
| + | * El Rulo y su Kepler Kompilator | ||
prosved.1722370554.txt.gz · Last modified: 2024/07/30 22:15 by carlosesteban.budde@unitn.it
Page Tools
