Source author record

André Martin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
7topics
4close collaborators

Published work

6 publications

preprint2020arXiv

Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders

Trust is arguably the most important challenge for critical services both deployed as well as accessed remotely over the network. These systems are exposed to a wide diversity of threats, ranging from bugs to exploits, active attacks, rogue operators, or simply careless administrators. To protect such applications, one needs to guarantee that they are properly configured and securely provisioned with the "secrets" (e.g., encryption keys) necessary to preserve not only the confidentiality, integrity and freshness of their data but also their code. Furthermore, these secrets should not be kept under the control of a single stakeholder - which might be compromised and would represent a single point of failure - and they must be protected across software versions in the sense that attackers cannot get access to them via malicious updates. Traditional approaches for solving these challenges often use ad hoc techniques and ultimately rely on a hardware security module (HSM) as root of trust. We propose a more powerful and generic approach to trust management that instead relies on trusted execution environments (TEEs) and a set of stakeholders as root of trust. Our system, PALAEMON, can operate as a managed service deployed in an untrusted environment, i.e., one can delegate its operations to an untrusted cloud provider with the guarantee that data will remain confidential despite not trusting any individual human (even with root access) nor system software. PALAEMON addresses in a secure, efficient and cost-effective way five main challenges faced when developing trusted networked applications and services. Our evaluation on a range of benchmarks and real applications shows that PALAEMON performs efficiently and can protect secrets of services without any change to their source code.

preprint2015arXiv

Froissart Bound on Inelastic Cross Section Without Unknown Constants

Assuming that axiomatic local field theory results hold for hadron scattering, André Martin and S. M. Roy recently obtained absolute bounds on the D-wave below threshold for pion-pion scattering and thereby determined the scale of the logarithm in the Froissart bound on total cross sections in terms of pion mass only. Previously, Martin proved a rigorous upper bound on the inelastic cross-section σinelσ_{inel} which is one-fourth of the corresponding upper bound on σtotσ_{tot}, and Wu, Martin,Roy and Singh improved the bound by adding the constraint of a given σtotσ_{tot}. Here we use unitarity and analyticity to determine, without any high energy approximation, upper bounds on energy averaged inelastic cross sections in terms of low energy data in the crossed channel. These are Froissart-type bounds without any unknown coefficient or unknown scale factors and can be tested experimentally. Alternatively, their asymptotic forms,together with the Martin-Roy absolute bounds on pion-pion D-waves below threshold, yield absolute bounds on energy-averaged inelastic cross sections. E.g. for π0π0π^0 π^0 scattering, defining σinel=σtot−(σπ0π0→π0π0+σπ0π0→π+π−)σ_{inel}=σ_{tot} -\big (σ^{π^0 π^0 \rightarrow π^0 π^0} + σ^{π^0 π^0 \rightarrow π^+ π^-} \big ),we show that for c.m. energy s→∞\sqrt{s}\rightarrow \infty , σˉinel(s,∞)≡s∫s∞ds′σinel(s′)/s′2≤(π/4)(mπ)−2[ln⁡(s/s1)+(1/2)ln⁡ln⁡(s/s1)+1]2\barσ_{inel }(s,\infty)\equiv s\int_{s} ^{\infty } ds'σ_{inel }(s')/s'^2 \leq (π/4) (m_{π})^{-2} [\ln (s/s_1)+(1/2)\ln \ln (s/s_1) +1]^2 where 1/s1=34π2π mπ−21/s_1= 34π\sqrt{2π}\>m_{π}^{-2} . This bound is asymptotically one-fourth of the corresponding Martin-Roy bound on the total cross section, and the scale factor s1s_1 is one-fourth of the scale factor in the total cross section bound. The average over the interval (s,2s) of the inelastic π0π0π^0 π^0 cross section has a bound of the same form with 1/s11/s_1 replaced by 1/s2=2/s11/s_2=2/s_1 .

preprint2014arXiv

Froissart Bound on Total Cross-section without Unknown Constants

We determine the scale of the logarithm in the Froissart bound on total cross-sections using absolute bounds on the D-wave below threshold for ππππ scattering. E.g. for π0π0π^0 π^0 scattering we show that for c.m. energy s→∞\sqrt{s}\rightarrow \infty , σˉtot(s,∞)≡s∫s∞ds′σtot(s′)/s′2≤π(mπ)−2[ln⁡(s/s0)+(1/2)ln⁡ln⁡(s/s0)+1]2\barσ_{tot}(s,\infty)\equiv s\int_{s} ^{\infty} ds'σ_{tot}(s')/s'^2 \leq π(m_π)^{-2} [\ln (s/s_0)+(1/2)\ln \ln (s/s_0) +1]^2 where mπ2/s0=17ππ/2m_π^2/s_0= 17π\sqrt{π/2} .

preprint2011arXiv

An upper bound on the total inelastic cross-section as a function of the total cross-section

Recently André Martin has proved a rigorous upper bound on the inelastic cross-section σinelσ_{inel} at high energy which is one-fourth of the known Froissart-Martin-Lukaszuk upper bound on σtotσ_{tot}. Here we obtain an upper bound on σinelσ_{inel} in terms of σtotσ_{tot} and show that the Martin bound on σinelσ_{inel} is improved significantly with this added information.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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