Paulo Trezentos

dblp:86/3963 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 2012
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software maintenance and evolution · 100%
Theoretical computer science
1 paper
Mathematical optimization · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software maintenance and evolution › software dependencies › software dependency management
dependency resolution
0.112010
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization · ASE 2010
Software maintenance and evolution › software dependencies
software dependency management
0.112010
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization · ASE 2010
Mathematical optimization › integer programming
pseudo-boolean optimization
0.112010
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization · ASE 2010
Software maintenance and evolution › software dependencies › software dependency management
package management
0.012010
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization · ASE 2010

Methods — techniques the papers use, named apart from their topics

pseudo-boolean optimization · 0.2
YearPublicationVenuePosition
2012 Secure hotspot authentication through a Near Field Communication side-channel
abstract
We present a Wi-Fi hotspot authentication system that relies on a Near Field Communications (NFC) side-channel to address the security issues of Wi-Fi configuration and access in public locations. The proposed solution defines an architecture that simplifies Wi-Fi access point configuration for the end user, while simultaneously increasing user security and privacy in public networks. This is achieved by embedding network and security information in NFC enabled devices (e.g. tags) that allow the user to connect to secure wireless networks without a pre-established relationship. By using an asymmetric cryptographic system, it is possible to address several security threats such as an evil twin attack, hotspot or captive portal eavesdropping, and even Man-in-the-Middle attacks. We also present an experimental prototype that stores access point information on NFC tags, allowing NFC-enabled devices to securely connect to a wireless network and verify the access point's identity.
Alfredo Matos, Daniel Romao, Paulo Trezentos
WiMob3
2010 Apt-pbo: solving the software dependency problem using pseudo-boolean optimization
abstract
The installation of software packages depends on the correct resolution of dependencies and conflicts between packages. This problem is NP-complete and, as expected, is a hard task. Moreover, today's technology still does not address this problem in an acceptable way. This paper introduces a new approach to solving the software dependency problem in a Linux environment, devising a way for solving dependencies according to available packages and user preferences. This work introduces the "apt-pbo" tool, the first publicly available tool that solves dependencies in a complete and optimal way.
Paulo Trezentos, Inês Lynce, Arlindo L. Oliveira
ASE1