-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.xml
14 lines (14 loc) · 14.7 KB
/
index.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Lucas Müller</title><link>https://www.lucasmuller.com.br/</link><atom:link href="https://www.lucasmuller.com.br/index.xml" rel="self" type="application/rss+xml"/><description>Lucas Müller</description><generator>Wowchemy (https://wowchemy.com)</generator><language>en-us</language><copyright>© Lucas Müller 2021</copyright><lastBuildDate>Mon, 27 Jul 2020 16:36:00 -0300</lastBuildDate><image><url>https://www.lucasmuller.com.br/media/icon_hue97f694b06a8a95b4596fd8a551111a9_7636_512x512_fill_lanczos_center_2.png</url><title>Lucas Müller</title><link>https://www.lucasmuller.com.br/</link></image><item><title>Spoofed Traffic Inference at IXPs: Challenges, Methods and Analysis</title><link>https://www.lucasmuller.com.br/publication/2020-journal-ixps-spoofing-muller/</link><pubDate>Mon, 27 Jul 2020 16:36:00 -0300</pubDate><guid>https://www.lucasmuller.com.br/publication/2020-journal-ixps-spoofing-muller/</guid><description/></item><item><title>Spoofer-IX</title><link>https://www.lucasmuller.com.br/project/2016-2020-spooferix/</link><pubDate>Thu, 05 Mar 2020 12:40:39 -0300</pubDate><guid>https://www.lucasmuller.com.br/project/2016-2020-spooferix/</guid><description><p>A new methodology to accurately classify spoofed traffic in the inter-domain level using heavily aggregated Internet traffic data, revealing the deep subtleties of scientific assessments of operational Internet infrastructure (2016-2020).</p></description></item><item><title>IPE-Analytics</title><link>https://www.lucasmuller.com.br/project/2017-2020-ipeanalytics/</link><pubDate>Sun, 05 Jan 2020 13:25:18 -0300</pubDate><guid>https://www.lucasmuller.com.br/project/2017-2020-ipeanalytics/</guid><description><p>The adoption of network monitoring techniques has culminated in a broad availability of raw data. However, giving the large-scale and complexity of long-distance networks and the massive volume of distributed data, minor progress has been achieved regarding the in-depth analysis of this collected data and inferences about the network behavior. This project investigates methods to analyze the data measured by the existing monitoring tools present in the <a href="https://www.rnp.br/en/ipe-network" target="_blank">Brazilian Academic IPÊ backbone network</a>. The result is a service that provides inferences to aid the process of operation, traffic engineering and network planning.</p></description></item><item><title>Challenges in Inferring Spoofed Traffic at IXPs</title><link>https://www.lucasmuller.com.br/talk/challenges-in-inferring-spoofed-traffic-at-ixps/</link><pubDate>Tue, 10 Dec 2019 15:31:23 -0300</pubDate><guid>https://www.lucasmuller.com.br/talk/challenges-in-inferring-spoofed-traffic-at-ixps/</guid><description/></item><item><title>Challenges in Inferring Spoofed Traffic at IXPs</title><link>https://www.lucasmuller.com.br/publication/acm-conext-2019-lfmuller/</link><pubDate>Wed, 04 Dec 2019 19:29:15 -0300</pubDate><guid>https://www.lucasmuller.com.br/publication/acm-conext-2019-lfmuller/</guid><description/></item><item><title>Challenges in Inferring Spoofed Traffic at IXPs</title><link>https://www.lucasmuller.com.br/talk/challenges-in-inferring-spoofed-traffic-at-ixps/</link><pubDate>Tue, 10 Sep 2019 11:14:30 -0300</pubDate><guid>https://www.lucasmuller.com.br/talk/challenges-in-inferring-spoofed-traffic-at-ixps/</guid><description/></item><item><title>Dynam-IX</title><link>https://www.lucasmuller.com.br/project/2016-2019-dynamix/</link><pubDate>Tue, 05 Mar 2019 13:07:35 -0300</pubDate><guid>https://www.lucasmuller.com.br/project/2016-2019-dynamix/</guid><description><p><strong>Problem</strong></p>
<p>Autonomous Systems (ASes) can now reach hundreds of networks directly through Internet eXchange Points (IXPs). Despite the benefits, any pair of ASes needs first to agree on exchanging traffic. Such process is mainly manual and lengthy. Because of the hassle, ASes miss interconnection opportunities and prefer long-term agreements, even if not matching current Internet traffic dynamics.</p>
<p><strong>Approach</strong></p>
<p>To improve wide-area traffic delivery performance Dynam-IX enables IXP members with a protocol to find interconnection opportunities and establish interconnection agreements, a high-level interconnection intent abstraction to express peering policies, a legal framework to digitally handle contracts, and a distributed tamper-proof ledger to allow ASes to cooperatively build trust.</p></description></item><item><title>A Decade of Backbone Evolution of the Brazilian Academic Network: observations from the perspective of the routers</title><link>https://www.lucasmuller.com.br/publication/2019-pam-mazzola/</link><pubDate>Tue, 05 Mar 2019 09:57:10 -0300</pubDate><guid>https://www.lucasmuller.com.br/publication/2019-pam-mazzola/</guid><description/></item><item><title>About</title><link>https://www.lucasmuller.com.br/about/</link><pubDate>Tue, 01 Jan 2019 00:00:00 +0000</pubDate><guid>https://www.lucasmuller.com.br/about/</guid><description/></item><item><title>Hidden Dynamics</title><link>https://www.lucasmuller.com.br/project/2017-2018-mshiddendynamics/</link><pubDate>Wed, 05 Dec 2018 14:16:43 -0300</pubDate><guid>https://www.lucasmuller.com.br/project/2017-2018-mshiddendynamics/</guid><description><p>Uncovering the Hidden Dynamics of Changing Internet Interconnections. Investigates the dynamics of network peering infrastructures to better understand how it impacts Internet performance, funded by <a href="http://research.microsoft.com/en-us/projects/azure/" target="_blank">Microsoft Research (Microsoft Azure Research Award)</a> (2017 and 2018).</p></description></item><item><title>Dynam-IX: a Dynamic Interconnection eXchange</title><link>https://www.lucasmuller.com.br/publication/2018-conext-marcos/</link><pubDate>Wed, 05 Dec 2018 10:06:53 -0300</pubDate><guid>https://www.lucasmuller.com.br/publication/2018-conext-marcos/</guid><description/></item><item><title>Dynam-IX: a Dynamic Agreement Marketplace on Internet eXchange Points</title><link>https://www.lucasmuller.com.br/talk/dynam-ix-a-dynamic-agreement-marketplace-on-internet-exchange-points/</link><pubDate>Mon, 17 Sep 2018 11:30:03 -0300</pubDate><guid>https://www.lucasmuller.com.br/talk/dynam-ix-a-dynamic-agreement-marketplace-on-internet-exchange-points/</guid><description/></item><item><title>Dynam-IX: a Dynamic Interconnection eXchange</title><link>https://www.lucasmuller.com.br/publication/2018-sigcomm-marcos/</link><pubDate>Sun, 05 Aug 2018 10:20:14 -0300</pubDate><guid>https://www.lucasmuller.com.br/publication/2018-sigcomm-marcos/</guid><description/></item><item><title>Dynam-IX: a Dynamic Interconnection eXchange</title><link>https://www.lucasmuller.com.br/talk/dynam-ix-a-dynamic-interconnection-exchange/</link><pubDate>Mon, 16 Jul 2018 11:39:05 -0300</pubDate><guid>https://www.lucasmuller.com.br/talk/dynam-ix-a-dynamic-interconnection-exchange/</guid><description/></item><item><title>Dynam-IX: A Dynamic Interconnection eXchange</title><link>https://www.lucasmuller.com.br/talk/dynam-ix-a-dynamic-interconnection-exchange/</link><pubDate>Wed, 16 May 2018 11:43:25 -0300</pubDate><guid>https://www.lucasmuller.com.br/talk/dynam-ix-a-dynamic-interconnection-exchange/</guid><description/></item><item><title>Using IXPs to Measure Improvements of Source Address Validation Filtering in Inter-Domain Traffic</title><link>https://www.lucasmuller.com.br/talk/using-ixps-to-measure-improvements-of-source-address-validation-filtering-in-inter-domain-traffic/</link><pubDate>Thu, 15 Mar 2018 11:23:50 -0300</pubDate><guid>https://www.lucasmuller.com.br/talk/using-ixps-to-measure-improvements-of-source-address-validation-filtering-in-inter-domain-traffic/</guid><description/></item><item><title>P4Sec</title><link>https://www.lucasmuller.com.br/project/2017-2020-p4sec/</link><pubDate>Tue, 28 Nov 2017 17:18:25 -0300</pubDate><guid>https://www.lucasmuller.com.br/project/2017-2020-p4sec/</guid><description><p><strong>Project</strong></p>
<p>Securing Networks in the Programmable Data Plane Era, funded by <a href="https://www.nsf.gov/awardsearch/showAward?AWD_ID=1740911" target="_blank">NSF</a> and <a href="http://www.ctic.rnp.br/wp-content/uploads/2019/02/1._us-brasil_collaboration_v3.pdf" target="_blank">RNP/CTIC</a> (2017-2020).</p>
<p><strong>Context</strong></p>
<p>Recent advances in <a href="https://www.opennetworking.org/sdn-definition/" target="_blank">Software Defined Networking (SDN)</a> have expanded our ability to program the network to its data plane. Through domain specific languages like <a href="https://p4.org/" target="_blank">P4</a>, network operators can quickly deploy new protocols on forwarding devices, customize their functionality, and develop innovative services. This flexibility comes however with a cost: network-wide security and correctness properties (e.g., isolation, reachability, etc.) become much harder to ensure, because network behavior is now determined by a combination of the control plane-driven configuration and the data plane program that resides on devices (also called switches). Existing network verification tools, which rely on a fixed, invariant model of the data plane, are inadequate for programmable data planes.</p>
<p><strong>Goal</strong></p>
<p>Research new techniques to verify and enforce security properties in data plane networks. The verification techniques we work on extend existing verification tools by automatically generating a data plane model from a P4 program. We also work on adapting existing verification tools to integrate with our dynamically-generated models to verify network configuration updates issued by an SDN controller. We also research novel approaches to ensure that network security properties are satisfied by a network configuration that is based on data plane enforcement. We work to develop an in-line monitor, implemented in the data plane itself, that enforces critical security properties, such as isolation and bandwidth limits, even in the presence of a faulty user data plane program or controller.</p></description></item><item><title>Internet Infrastructure Measurement: Trends and Challenges</title><link>https://www.lucasmuller.com.br/talk/internet-infrastructure-measurement-trends-and-challenges/</link><pubDate>Fri, 10 Nov 2017 11:48:07 -0300</pubDate><guid>https://www.lucasmuller.com.br/talk/internet-infrastructure-measurement-trends-and-challenges/</guid><description/></item><item><title>Routing Coverage Analysis At IXPs in Brazil</title><link>https://www.lucasmuller.com.br/talk/routing-coverage-analysis-at-ixps-in-brazil/</link><pubDate>Mon, 05 Dec 2016 11:52:34 -0300</pubDate><guid>https://www.lucasmuller.com.br/talk/routing-coverage-analysis-at-ixps-in-brazil/</guid><description/></item><item><title>Network Design</title><link>https://www.lucasmuller.com.br/project/2014-2016-netdesign/</link><pubDate>Sun, 10 Jan 2016 15:53:16 -0300</pubDate><guid>https://www.lucasmuller.com.br/project/2014-2016-netdesign/</guid><description><p>Aimed at developing optimization techniques that can be applied both at network design and during its lifespan in order to improve network performance, funded by <a href="http://research.microsoft.com/en-us/projects/azure/" target="_blank">Microsoft Research (Microsoft Azure Research Award)</a> (2014–2016).</p></description></item><item><title>Phoenix</title><link>https://www.lucasmuller.com.br/project/2014-2016-phoenix/</link><pubDate>Fri, 01 Jan 2016 15:47:45 -0300</pubDate><guid>https://www.lucasmuller.com.br/project/2014-2016-phoenix/</guid><description><p>Proposed to investigate and develop an architecture that strengthens current guarantees and coordinates mechanisms to improve survivability, funded by <a href="http://www.cnpq.br/" target="_blank">MCTI/CNPq</a> (2014–2016).</p></description></item><item><title>Survivor: an Enhanced Controller Placement Strategy for Improving SDN Survivability</title><link>https://www.lucasmuller.com.br/publication/2014-globecom-muller/</link><pubDate>Fri, 05 Dec 2014 10:44:19 -0300</pubDate><guid>https://www.lucasmuller.com.br/publication/2014-globecom-muller/</guid><description/></item><item><title>SecFuNet</title><link>https://www.lucasmuller.com.br/project/2011-2014-secfunet/</link><pubDate>Mon, 01 Dec 2014 16:07:30 -0300</pubDate><guid>https://www.lucasmuller.com.br/project/2011-2014-secfunet/</guid><description><p><strong>Project:</strong></p>
<p>Security for the Future Networks using trusted components, funded by <a href="http://cordis.europa.eu/fp7/home_en.html" target="_blank">FP7</a> and <a href="http://www.cnpq.br/" target="_blank">CNPq</a> (2011-2014).</p>
<p><strong>Goal:</strong></p>
<p>The goal of the SecFuNet was to design and develop a coherent security architecture for virtual networks and cloud accesses. The proposed architecture would provide solutions allowing the management of communications security for all machines connected to a public cloud using virtual networks. This architecture should guarantee security in the virtualized infrastructure, through isolation of virtual networks and access control for users and managers, without compromising authorized users' privacy.</p></description></item><item><title>GT-UniT</title><link>https://www.lucasmuller.com.br/project/2010-2013-torrentu/</link><pubDate>Fri, 01 Nov 2013 16:11:55 -0300</pubDate><guid>https://www.lucasmuller.com.br/project/2010-2013-torrentu/</guid><description><p><strong>Project:</strong> GT-UNIT: Observing the BitTorrent Universe Through Telescopes, funded by <a href="http://www.rnp.br" target="_blank">RNP</a> (2010–2013).</p>
<p><strong>Goal:</strong> development of a monitoring architecture to allow the observation of BitTorrent networks seeking to pinpoint sharing of illegal files (e.g. child pornography) and copyrighted content.</p>
<p>Nowadays, the service is in use by the Incident Response and Security Team at the Brazilian Academic backbone network (RNP).</p></description></item><item><title>Disconnecting to Connect: understanding Optimistic Disconnection in BitTorrent</title><link>https://www.lucasmuller.com.br/publication/2012-p2p-lehmann/</link><pubDate>Fri, 05 Oct 2012 11:06:40 -0300</pubDate><guid>https://www.lucasmuller.com.br/publication/2012-p2p-lehmann/</guid><description/></item><item><title>Multiflow: Multicast clean-slate with anticipated route calculation on OpenFlow programmable networks</title><link>https://www.lucasmuller.com.br/publication/2012-journalacr-bondan/</link><pubDate>Tue, 05 Jun 2012 11:16:35 -0300</pubDate><guid>https://www.lucasmuller.com.br/publication/2012-journalacr-bondan/</guid><description/></item></channel></rss>