O direito processual transnacional como forma de acesso à justiça no século XXI: os reflexos e desafios da sociedade contemporânea para o direito processual civil e a concepção de um título executivo transnacional

A presente tese trata da garantia do acesso à justiça ao jurisdicionado do século XXI, membro de uma sociedade marcadamente globalizada. Embora o jurisdicionado, centro da moderna ciência processual, estabeleça com grande frequência relações que ultrapassam os limites políticos dos países, o Direito Processual, no Brasil, continua fundado em bases estritamente internas, gerando uma arriscada litigiosidade contida. Por essa razão, desenvolve-se, ao longo do presente trabalho, um raciocínio consistente e coordenado, voltado ao resgate do acesso à justiça ao jurisdicionado de nosso tempo. Para tanto, no capítulo 1, são examinados os dois grandes eixos evolutivos: os eixos social e jurídico. A partir dessa análise, conclui-se que ambos os eixos evolutivos convergem para, a um só tempo, incentivar e justificar a releitura do Direito Processual. No capítulo 2, analisamos o primado dos princípios fundamentais processuais, que ocupa posição de destaque no estudo do Direito Processual na atualidade e exerce papel de protagonismo na concepção do Direito Processual Civil Transnacional. Verificamos que a consagração dos mesmos princípios processuais fundamentais em diferentes partes do mundo promove a convergência entre os sistemas jurídico-processuais nacionais quanto à sua essência, fomentando o espírito de cooperação entre os países. No capítulo 3, aportamos no estudo do microssistema do Direito Processual Civil Transnacional, apresentando o seu conceito, bem como as principais teorias a seu respeito, como forma de delinear os seus contornos. No capítulo 4, desenvolvemos a análise do princípio fundamental do acesso à justiça, que consiste no ponto central do Direito Processual Transnacional, segundo uma nova metodologia, que alia os subprincípios do acesso à justiça concebidos por Paulo Cezar Pinheiro Carneiro à visão tridimensional do Direito talhada por Mauro Cappelletti. Através dessa metodologia, descortinamos os principais problemas e oferecemos soluções eficazes para a efetiva garantia do acesso à justiça no âmbito transnacional. No capítulo 5, examinamos a experiência precursora da União Europeia no trato do tema, que influencia a sua abordagem em todo o resto do mundo. Após contextualizar a problemática, analisamos o instituto vanguardista denominado Título Executivo Europeu como instrumento concreto de garantia do acesso à justiça no âmbito transnacional. No capítulo 6, transpomos todos os pilares teóricos e principiológicos desenvolvidos ao longo da tese para o Brasil, como forma de buscar aprimorar o nosso sistema jurídico-processual no tocante à garantia do acesso à justiça no âmbito transnacional. Para tanto, analisamos os contornos e o atual estágio evolutivo de integração do Mercosul, importante bloco regional do qual o Brasil faz parte. Por fim, invocando as modernas premissas teóricas apresentadas nos capítulos anteriores, concluímos que a legislação atualmente em vigor no Mercosul e no Brasil permite admitir o cabimento da instauração da execução, no Brasil, de sentenças oriundas de outros países do Mercosul, prescindindo do exercício do juízo de delibação pelo Superior Tribunal de Justiça. Essa solução representa um avanço concreto em prol da efetiva garantia do acesso à justiça no âmbito transnacional ao jurisdicionado no Brasil, sendo um exemplo do ciclo virtuoso que o Direito Processual Transnacional pretende inaugurar.

Design and implementation of robust systems for secure malware detection

Malicious software (malware) have significantly increased in terms of number and effectiveness during the past years. Until 2006, such software were mostly used to disrupt network infrastructures or to show coders’ skills. Nowadays, malware constitute a very important source of economical profit, and are very difficult to detect. Thousands of novel variants are released every day, and modern obfuscation techniques are used to ensure that signature-based anti-malware systems are not able to detect such threats. This tendency has also appeared on mobile devices, with Android being the most targeted platform. To counteract this phenomenon, a lot of approaches have been developed by the scientific community that attempt to increase the resilience of anti-malware systems. Most of these approaches rely on machine learning, and have become very popular also in commercial applications. However, attackers are now knowledgeable about these systems, and have started preparing their countermeasures. This has lead to an arms race between attackers and developers. Novel systems are progressively built to tackle the attacks that get more and more sophisticated. For this reason, a necessity grows for the developers to anticipate the attackers’ moves. This means that defense systems should be built proactively, i.e., by introducing some security design principles in their development. The main goal of this work is showing that such proactive approach can be employed on a number of case studies. To do so, I adopted a global methodology that can be divided in two steps. First, understanding what are the vulnerabilities of current state-of-the-art systems (this anticipates the attacker’s moves). Then, developing novel systems that are robust to these attacks, or suggesting research guidelines with which current systems can be improved. This work presents two main case studies, concerning the detection of PDF and Android malware. The idea is showing that a proactive approach can be applied both on the X86 and mobile world. The contributions provided on this two case studies are multifolded. With respect to PDF files, I first develop novel attacks that can empirically and optimally evade current state-of-the-art detectors. Then, I propose possible solutions with which it is possible to increase the robustness of such detectors against known and novel attacks. With respect to the Android case study, I first show how current signature-based tools and academically developed systems are weak against empirical obfuscation attacks, which can be easily employed without particular knowledge of the targeted systems. Then, I examine a possible strategy to build a machine learning detector that is robust against both empirical obfuscation and optimal attacks. Finally, I will show how proactive approaches can be also employed to develop systems that are not aimed at detecting malware, such as mobile fingerprinting systems. In particular, I propose a methodology to build a powerful mobile fingerprinting system, and examine possible attacks with which users might be able to evade it, thus preserving their privacy. To provide the aforementioned contributions, I co-developed (with the cooperation of the researchers at PRALab and Ruhr-Universität Bochum) various systems: a library to perform optimal attacks against machine learning systems (AdversariaLib), a framework for automatically obfuscating Android applications, a system to the robust detection of Javascript malware inside PDF files (LuxOR), a robust machine learning system to the detection of Android malware, and a system to fingerprint mobile devices. I also contributed to develop Android PRAGuard, a dataset containing a lot of empirical obfuscation attacks against the Android platform. Finally, I entirely developed Slayer NEO, an evolution of a previous system to the detection of PDF malware. The results attained by using the aforementioned tools show that it is possible to proactively build systems that predict possible evasion attacks. This suggests that a proactive approach is crucial to build systems that provide concrete security against general and evasion attacks.

Gli strumenti per la governance dei gruppi pubblici locali alla luce della riforma Brunetta. Una proposta operativa

Il lavoro ha ad oggetto gli strumenti di programmazione e controllo utilizzabili dagli enti locali ai fini della governance sulle proprie aziende di gestione dei servizi pubblici, alla luce delle riforme che hanno interessato sia il settore considerato, sia i sistemi informativo-contabili delle amministrazioni territoriali. Viene effettuata una proposta, anche in base allo studio della Legge, della dottrina economico aziendale e degli esiti di una ricerca che ha coinvolto i comuni capoluogo di Emilia Romagna e Toscana, per identificare un cruscotto informativo unico che coniughi esigenze informative degli enti locali, semplicità di utilizzo e rispetto della normativa attuale.

Il performance measurement negli enti locali. Strumenti innovativi nella prospettiva economico-aziendale

In un'epoca di risorse scarse e di crescente disaffezione verso la politica, l'azione degli enti locali ha un impatto sempre più rilevante sulla qualità della vita del cittadino. A tal fine, l'adozione di sistemi di programmazione e controllo, supportati da idonei strumenti, diviene essenziale per il perseguimento dell'efficienza e dell'efficacia e dunque per riconquistare la fiducia del cittadino stesso. Il volume, sulla base di un'analisi della normativa (dai primi anni Novanta fino al DL 174/2012 e s.m.i.) e della letteratura nazionale ed internazionale in tema di performance measurement, identifica un Modello ottimale (Modello PerformEL) per la redazione di due documenti che possono avere un ruolo centrale nel sistema di programmazione e controllo locale: il Piano e la Relazione sulla Performance. La capacità informativa di questi ultimi è testata tramite un'indagine empirica che ha coinvolto i comuni con almeno 50.000 abitanti, comparando struttura, forma e contenuti di tali documenti con quelli ritenuti ottimali e quindi inseriti nel Modello. Sulla base dei risultati dell'indagine, che mostrano una diffusa inadeguatezza informativa degli strumenti analizzati, viene proposto un percorso evolutivo per la graduale realizzazione di documenti di programmazione e controllo che, al di là della loro 'etichetta formale' (Piano della Performance piuttosto che Piano Esecutivo di Gestione, Relazione sulla Performance o Report dei Controlli interni) permetta di semplificare l'architettura informativa dell'ente locale (nel rispetto del DL 174/2012) e parimenti di trasformare i molteplici inutili adempimenti in utili documenti di performance measurement.

Programmazione e controllo dei gruppi pubblici locali. Dagli strumenti esistenti alle soluzioni innovative per la governance.

Il tema dei servizi pubblici locali è sicuramente centrale nell'attuale contesto socio-economico nazionale ed internazionale, in quanto essi hanno un impatto determinante sulle condizioni di vita dei cittadini e sulla competitività dei sistemi economici. In ragione di ciò, negli ultimi anni in Italia numerose riforme si sono susseguite, con lo scopo di individuare l'assetto più efficace ed efficiente per tale settore. Le suddette riforme hanno così ridisegnato il ruolo degli Enti Locali, che saranno sempre meno gestori diretti e sempre più direttori di una multiforme orchestra composta dalle aziende esterne chiamate a fornire in prima persona le prestazioni agli utenti finali. Il presente lavoro si propone di individuare, anche attraverso una ricerca sui Comuni capoluogo di Emilia-Romagna e Toscana, strumenti di programmazione e controllo in ottica di gruppo che consentano agli Enti Locali di svolgere questo nuovo delicato ruolo. Tali strumenti verranno disegnati sulla base delle necessità informative delle amministrazioni indagate e nel rispetto delle più recenti riforme in tema di programmazione, rilevazione, gestione, controllo, valutazione e comunicazione delle performance pubbliche.

Gli strumenti di programmazione degli enti locali. Una fotografia della realtà emiliano-romagnola

MOTIVAZIONI DI PARTENZA Gli studi sul processo di aziendalizzazione delle pubbliche amministrazioni (Hood 1991, Mussari 1994, Valotti 2000) hanno evidenziato che esse possono essere considerate aziende per tre ragioni: istituzionale, costitutiva e comportamentale (Deidda Gagliardo 2002). In particolare, gli enti locali che intendano agire come aziende dovrebbero adottare sistemi (Bertini 1990) di programmazione e controllo (D’Alessio 1992, Borgonovi 2005), funzionali ad un miglioramento delle performances economico-sociali (Anselmi 1993, Farneti 2004). Il presente lavoro è incentrato sul sub-sistema di programmazione delle amministrazioni territoriali: si focalizza l’attenzione sugli enti locali emiliano-romagnoli in quanto caratterizzati da un buon livello di aziendalizzazione (Orelli 2005). RISULTATI ATTESI L’analisi verterà sugli strumenti di programmazione utilizzati dagli enti in oggetto e sui rapporti -orizzontali e verticali (Deidda Gagliardo 2007)- intercorrenti tra gli stessi, mirando a verificarne livello e modalità di applicazione. Lo studio partirà dai risultati della ricerca “Il contributo dei sistemi di programmazione e controllo alla governance locale in Emilia-Romagna”, coordinata dal Prof. Deidda Gagliardo e condotta, rispetto all’universo di 350 enti potenziali, sul campione delle 178 amministrazioni che hanno risposto, rappresentativo di tutte le fasce dimensionali e di tutte le zone geografiche della regione. Tale ricerca, chiusa a fine 2007, ha indagato l’arco temporale 1996 - 2006. Dall’analisi dei dati ci si attende che tutti gli enti osservati adottino gli strumenti di programmazione “obbligatori”, e che l’utilizzo di quelli “facoltativi” sia circoscritto a quelli più virtuosi. La metodologia di ricerca è di tipo misto: • fase deduttiva: sono stati studiati i principali contributi teorici; • fase induttiva: è stato somministrato un questionario strutturato a risposte chiuse ai responsabili dei servizi finanziari; • fase di feedback: si procederà all’analisi critica dei risultati al fine di verificare livello e modalità di utilizzo degli strumenti di programmazione.

La conversione del mondo pagano al Christianesimo : studio su lafine del paganesimo popolare e su le origini del culto dei Santi

UANL

Peindre Rome à la Renaissance (XVe-XVIIe siècles): des loggias à l’antique aux nouveaux systèmes géopolitiques

Actes du colloque international (Rome, Istituto di Studi Romani, 2009 et 2010).

"La promessa d'un semplice linguaggio". Lingua e stile nella poesia di Amelia Rosselli

La poesia di Amelia Rosselli costituisce uno dei fenomeni linguistico-espressivi più complessi della poesia italiana del secondo Novecento. Percorsa da tensioni stilistiche ed espressive peculiari che l'hanno resa uno dei vertici dello sperimentalismo plurilingue novecentesco, l'opera rosselliana costituisce, nel suo insieme, una poderosa meditazione sull'alienazione e sulle possibilità di esprimere a pieno il proprio disagio esistenziale se non attraverso la creazione di una lingua che sfida, al medesimo tempo, convenzioni sintattiche, grammaticali, e grafiche di ben tre sistemi linguistici, e che impone al lettore, in virtù di un trilinguismo biograficamente motivato, la flessuosità di una logica del senso plurima e simultanea. Scopo del volume è offrire un contributo sistematico alla comprensione di un'opera poetica sulla quale ancora gravano radicati fraintendimenti e pervicaci clichés critici.

Il sistema di contabilità nazionale: versioni, elementi e regole base

Lucidi utilizzati a lezione e materiali allegati Versione provvisoria del 15 ottobre 2007 Modulo 1°: Lezioni 10-15