BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Miguel Correia

Miguel Correia contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Cryptography and Securityhep-thastro-ph.HEComputation and LanguageDistributed, Parallel, and Cluster Computinggr-qcphysics.ins-detProgramming Languages

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2026arXiv

SOFIA: Singularities of Feynman Integrals Automatized

We introduce SOFIA, a Mathematica package that automatizes the computation of singularities of Feynman integrals, based on new theoretical understanding of their analytic structure. Given a Feynman diagram, SOFIA generates a list of potential singularities along with a candidate symbol alphabet. The package also provides a comprehensive set of tools for analyzing the analytic properties of Feynman integrals and related objects, such as cosmological and energy correlators. We showcase its capabilities by reproducing known results and predicting singularities and symbol alphabets of Feynman integrals at and beyond the high-precision frontier.

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

Document Data Matching for Blockchain-Supported Real Estate

The real estate sector remains highly dependent on manual document handling and verification, making processes inefficient and prone to fraud. This work presents a system that integrates optical character recognition (OCR), natural language processing (NLP), and verifiable credentials (VCs) to automate document extraction, verification, and management. The approach standardizes heterogeneous document formats into VCs and applies automated data matching to detect inconsistencies, while the blockchain provides a decentralized trust layer that reinforces transparency and integrity. A prototype was developed that comprises (i) an OCR-NLP extraction pipeline trained on synthetic datasets, (ii) a backend for credential issuance and management, and (iii) a frontend supporting issuer, holder, and verifier interactions. Experimental results show that the models achieve competitive accuracy across multiple document types and that the end-to-end pipeline reduces verification time while preserving reliability. The proposed framework demonstrates the potential to streamline real estate transactions, strengthen stakeholder trust, and enable scalable, secure digital processes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A covariant formulation of relativistic mechanics

Accretion disks surrounding compact objects, and other environmental factors, deviate satellites from geodetic motion. Unfortunately, setting up the equations of motion for such relativistic trajectories is not as simple as in Newtonian mechanics. The principle of general (or Lorentz) covariance and the mass-shell constraint make it difficult to parametrize physically adequate 4-forces. Here, we propose a solution to this old problem. We apply our framework to several conservative and dissipative forces. In particular, we propose covariant formulations for Hooke's law and the constant force, and compute the drag due to gravitational and hard-sphere collisions in dust, gas and radiation media. We recover and covariantly extend known forces such as Epstein drag, Chandrasekhar's dynamical friction and Poynting-Robertson drag. Variable-mass effects are also considered, namely Hoyle-Lyttleton accretion and the variable-mass rocket. We conclude with two applications: 1. The free-falling spring. We find that Hooke's law corrects the deviation equation by an effective Anti-de Sitter tidal force; 2. Black hole infall with drag. We numerically compute some trajectories on a Schwarzschild background supporting a dust-like accretion disk.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

An Analytical Toolkit for the S-matrix Bootstrap

We revisit analytical methods for constraining the nonperturbative $S$-matrix of unitary, relativistic, gapped theories in $d \geq 3$ spacetime dimensions. We assume extended analyticity of the two-to-two scattering amplitude and use it together with elastic unitarity to develop two natural expansions of the amplitude. One is the threshold (non-relativistic) expansion and the other is the large spin expansion. The two are related by the Froissart-Gribov inversion formula. When combined with crossing and a local bound on the discontinuity of the amplitude, this allows us to constrain scattering at finite energy and spin in terms of the low-energy parameters measured in the experiment. Finally, we discuss the modern numerical approach to the $S$-matrix bootstrap and how it can be improved based on the results of our analysis.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages

Web applications continue to be a favorite target for hackers due to a combination of wide adoption and rapid deployment cycles, which often lead to the introduction of high impact vulnerabilities. Static analysis tools are important to search for bugs automatically in the program source code, supporting developers on their removal. However, building these tools requires programming the knowledge on how to discover the vulnerabilities. This paper presents an alternative approach in which tools learn to detect flaws automatically by resorting to artificial intelligence concepts, more concretely to natural language processing. The approach employs a sequence model to learn to characterize vulnerabilities based on an annotated corpus. Afterwards, the model is utilized to discover and identify vulnerabilities in the source code. It was implemented in the DEKANT tool and evaluated experimentally with a large set of PHP applications and WordPress plugins. Overall, we found several hundred vulnerabilities belonging to 12 classes of input validation vulnerabilities, where 62 of them were zero-day.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

PCIe Hot Plug support standardization challenges in ATCA

Throughout the last decade, the Advanced Telecommunications Computing Architecture (ATCA) solidified its position as one of the main switched-based crate standards for advanced Physics instrumentation, offering not only highly performant characteristics in data throughput, channel density or power supply/dissipation capabilities, but also special features for high availability (HA), required for latest and upcoming large-scale endeavours, as is the case of ITER. Hot Swap is one of the main HA features in ATCA, allowing for Boards to be replaced in a crate (Shelf), without powering off the whole system. Platforms using the Peripheral Component Interconnect Express (PCIe) protocol on the Fabric Interface must be complemented, at the software level, with the PCIe Hot Plug native feature, currently not specified for the ATCA form-factor. From a customised Hot Plug support implementation for ATCA Node Boards, the paper presents an implementation extension for Hub Boards, allowing Hot Plug of PCIe switching devices, without causing bus enumeration problems. This paper further addresses the main issues concerning an eventual standardization of PCIe Hot Plug support in ATCA, such as the implementability of Hot Plug Elements and the generation and management of Hot Plug Events, aiming to stimulate the discussion within the PICMG community towards a long overdue standardized solution for Hot Plug in ATCA.

0 citations0 reviewsNo code linkedOpen access