activity
20052020
most citedInteroperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

20 citations · 45 across the 9 of their papers we have counts for

collaborators

11 papers

cs.CR2020★ 12 cited

Proximity Tracing in an Ecosystem of Surveillance Capitalism

Paul-Olivier Dehaye, Joel Reardon

Proximity tracing apps have been proposed as an aide in dealing with the COVID-19 crisis. Some of those apps leverage attenuation of Bluetooth beacons from mobile devices to build…

cs.CR2020★ 7 cited

SwissCovid: a critical analysis of risk assessment by Swiss authorities

Paul-Olivier Dehaye, Joel Reardon

Ahead of the rollout of the SwissCovid contact tracing app, an official public security test was performed. During this audit, Prof. Serge Vaudenay and Dr. Martin Vuagnoux describe…

cs.MS2016★ 20 cited

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov +3

OpenDreamKit --- "Open Digital Research Environment Toolkit for the Advancement of Mathematics" --- is an H2020 EU Research Infrastructure project that aims at supporting, over the…

math.CO2015★ 2 cited

Difference operators for partitions under the Littlewood decomposition

Paul-Olivier Dehaye, Guo-Niu Han, Huan Xiong

The concept of -difference operator for functions of partitions is introduced to prove a generalization of Stanley's theorem on polynomiality of Plancherel averages of symmetric…

math.NT2012★ 4 cited

Combinatorics of lower order terms in the moment conjectures for the Riemann zeta function

Paul-Olivier Dehaye

Conrey, Farmer, Keating, Rubinstein and Snaith have given a recipe that conjecturally produces, among others, the full moment polynomial for the Riemann zeta function. The leading…

math.CO2011

Integrality of hook ratios

Paul-Olivier Dehaye

We study integral ratios of hook products of quotient partitions. This question is motivated by an analogous question in number theory concerning integral factorial ratios. We prov…

math.CO2011

A multiset hook length formula and some applications

Paul-Olivier Dehaye, Guo-Niu Han

A multiset hook length formula for integer partitions is established by using combinatorial manipulation. As special cases, we rederive three hook length formulas, two of them obta…

math.RT2010

A note on moments of derivatives of characteristic polynomials

Paul-Olivier Dehaye

We present a simple technique to compute moments of derivatives of unitary characteristic polynomials. The first part of the technique relies on an idea of Bump and Gamburd: it use…

math.NT2007

Joint moments of derivatives of characteristic polynomials

Paul-Olivier Dehaye

We investigate the joint moments of the 2k-th power of the characteristic polynomial of random unitary matrices with the 2h-th power of the derivative of this same polynomial. We p…

math.CO2006

On an identity due to ((Bump and Diaconis) and (Tracy and Widom))

Paul-Olivier Dehaye

A classical question for a Toeplitz matrix with given symbol is to compute asymptotics for the determinants of its reductions to finite rank. One can also consider how those asympt…

math.RT2005

Averages over classical compact Lie groups and Weyl characters

Paul-Olivier Dehaye

We compute $E_G (\prod_i \tr(g^{λ_i}))$, where or with Haar measure. This was first obtained by Persi Diaconis and Mehrdad Shahshahani, but our proo…