{"id":18799,"date":"2025-05-20T13:27:00","date_gmt":"2025-05-20T11:27:00","guid":{"rendered":"https:\/\/informatica.uniurb.it\/triennale\/?post_type=seminari&#038;p=18799"},"modified":"2025-05-22T09:44:44","modified_gmt":"2025-05-22T07:44:44","slug":"noninterference-and-reversibility-analysis-in-private-blockchains","status":"publish","type":"seminari","link":"https:\/\/informatica.uniurb.it\/triennale-informatica\/seminari\/noninterference-and-reversibility-analysis-in-private-blockchains\/","title":{"rendered":"Noninterference and Reversibility Analysis in Private Blockchains"},"content":{"rendered":"<p>Nel contesto del progetto di ricerca <a href=\"http:\/\/www.sti.uniurb.it\/nirvana\/\" target=\"_blank\">NiRvAna<\/a> si terranno gioved\u00ec 29\/05\/2025 pomeriggio i seguenti seminari:<br \/>\n14:30-15:30 Proved Reversible Process Calculus: Semantics, Logics, Axioms<br \/>\n15:30-16:30 Noninterference in Reversible Systems: Nondeterminism, Probability, Time<br \/>\n17:00-17:30 Algorithmic Stablecoins: A Simulator for the Dual-Token Model in Normal and Panic Scenarios<br \/>\n17:30-18:00 An Entropy-Based Approach to Evaluating the Economic Efficiency of Cryptocurrencies<\/p>\n<p>Negli ambiti reversible computing, information-flow security analysis, blockchain e cryptocurrency sono disponibili diverse tesi di laurea sia triennale che magistrale.<\/p>\n","protected":false},"featured_media":0,"template":"","class_list":["post-18799","seminari","type-seminari","status-publish","hentry","entry","no-media"],"acf":[],"_links":{"self":[{"href":"https:\/\/informatica.uniurb.it\/triennale-informatica\/wp-json\/wp\/v2\/seminari\/18799","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/informatica.uniurb.it\/triennale-informatica\/wp-json\/wp\/v2\/seminari"}],"about":[{"href":"https:\/\/informatica.uniurb.it\/triennale-informatica\/wp-json\/wp\/v2\/types\/seminari"}],"wp:attachment":[{"href":"https:\/\/informatica.uniurb.it\/triennale-informatica\/wp-json\/wp\/v2\/media?parent=18799"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}