|
|
|
jeudi 1 mai
1
|
vendredi 2 mai
2
|
samedi 3 mai
3
|
dimanche 4 mai
4
|
lundi 5 mai
5
|
mardi 6 mai
6
|
mercredi 7 mai
7
-
13 h 30 min
Guillaume Scholz, «Explicit Modular Decomposition»
13 h 30 min – 13 h 30 min Guillaume Scholz, «Explicit Modular Decomposition» Campus St. Priest - B5.02.022 Cographs are among the best-studied graph classes. Among
other characterizations, they are precisely those graphs G that can be
represented by a unique rooted tree (T,t), called cotree, whose leaf
set is V(G) and whose non-leaf vertices v are assigned a label t(v) in
{0,1}. Every cograph G is explained by its cotree, that is, {x,y} is
an edge of G if and only if the lowest common ancestor of x and y in T
has label 1.
Recent advances in mathematical biology have shown that cographs are
intimately linked to pairwise relationships between genes. For
example, the orthology relation collects all pairs of genes whose last
common ancestor in their evolutionary history was a speciation event
(or, equivalently, has label 1) and thus forms a cograph. In many
applications, however, graphs G usually violate the property of being
a cograph and thus cannot be represented by a tree.
In this talk, I will introduce the novel concept of Explicit Modular
Decomposition, that aims at representing non-cographs with suitable
{0,1}-labelled rooted structures. I will then focus on graphs that can
be explained by rooted networks (N,t) whose bi-connected components
are edge-disjoint. These graphs, called GaTEx, can be recognized in
linear-time and are characterized by a set of 25 forbidden induced
subgraphs. I will present some of their theoretical properties, and I
will conclude with a generalization of the concepts of Explicit
Modular Decomposition and GaTEx graphs to more general discrete
structures.
This is joint work with Marc Hellmuth and Anna Lindeberg.
|
jeudi 8 mai
8
|
vendredi 9 mai
9
|
samedi 10 mai
10
|
dimanche 11 mai
11
|
lundi 12 mai
12
|
mardi 13 mai
13
-
11 h 00 min – 12 h 00 min
Georgii Melidi, «Scenario-Based Robust Optimization of Tree Structures»
11 h 00 min – 12 h 00 min Georgii Melidi, «Scenario-Based Robust Optimization of Tree Structures» We initiate the study of tree structures in the context of
scenario-based robust optimization. Specifically, we study Binary Search
Trees (BSTs) and Huffman coding, two fundamental techniques for
efficiently managing and encoding data based on a known set of
frequencies of keys. Given a number of distinct scenarios, each defined
by a frequency distribution over the keys, our objective is to compute a
single tree of best-possible performance, relative to any scenario.
We consider, as performance metrics, the competitive ratio, which
compares multiplicatively the cost of the solution to the tree of least
cost among all scenarios, as well as the regret, which induces a
similar, but additive comparison. For BSTs, we show that the problem is
NP-hard across both metrics. We also obtain an optimal competitive
ratio that is logarithmic in the number of scenarios. For Huffman Trees,
we likewise prove NP-hardness, and we present an algorithm with
logarithmic regret, which we prove to be near-optimal by showing a
corresponding lower bound. Last, we give a polynomial-time algorithm for
computing Pareto-optimal BSTs with respect to their regret, assuming
scenarios defined by uniform distributions over the keys. This setting
captures, in particular, the first study of fairness in the context of
data structures. We provide an experimental evaluation of all
algorithms. To this end, we also provide mixed integer linear program
formulation for computing optimal trees.
Joint work with Spyros Angelopoulos, Christoph Dürr and Alex Elenter.
-
15 h 15 min – 16 h 15 min
Federico Savasta, «Efficient ECDSA on BICYCL»
15 h 15 min – 16 h 15 min Federico Savasta, «Efficient ECDSA on BICYCL» bât 4 salle 3.23 Threshold Signatures allow n parties to share the power of issuing digital signatures so that any coalition of size at least t + 1 can sign, whereas groups of t or less parties cannot. Over the last few years, many schemes have addressed the question of realizing efficient threshold variants of EC-DSA signatures. Moreover, the NIST has announced its intention to standardize threshold EC-DSA schemes (https://csrc.nist.gov/projects/threshold-cryptography). This paper is a long version of the threshold EC-DSA scheme from Castagnos et al. (PKC 2020), which presented a solution aiming to reduce bandwidth consumption. The main contribution of the original article was a new variant of the Gennaro and Goldfeder protocol, from ACM CCS 2018, which avoids the range proofs that they required, while retaining provable security against malicious adversaries in the dishonest majority setting. The key ingredient to this achievement was the adoption of the CL linear homomorphic encryption scheme, based on class groups, which significantly reduces bandwidth consumption compared to existing schemes and achieves faster signature generation for high levels of security.
In this presentation, we will recall the construction of our original work (Castagnos et al. (PKC 2020)). Then, we will present new techniques to extend it. This is based upon our new revised version, which is currently an ongoing work, where we simplify setup and key generation by relying on different zero knowledge techniques for class groups. Moreover, we provide an optimized open source implementation of our new threshold EC-DSA protocol using the BICYCL library (JoC 2023). This version achieves even better bandwidth, giving one of the most compact threshold EC-DSA schemes. Key generation and signing times are on par with other schemes and can be more efficient, depending on the values of t, n and the security parameter. For instance, for n = 11, t = 10 and 128 bits of security, signing takes about a second while each party exchanges 31kB.
|
mercredi 14 mai
14
|
jeudi 15 mai
15
|
vendredi 16 mai
16
|
samedi 17 mai
17
|
dimanche 18 mai
18
|
lundi 19 mai
19
|
mardi 20 mai
20
|
mercredi 21 mai
21
|
jeudi 22 mai
22
-
10 h 00 min – 11 h 00 min
Vinicius dos Santos, «Exploring subgraph complementation to bounded degree graphs»
10 h 00 min – 11 h 00 min Vinicius dos Santos, «Exploring subgraph complementation to bounded degree graphs» Bât 4, E.3.23 Graph modification problems are computational tasks where the goal is to change an input graph G using operations from a fixed set, in order to make the resulting graph satisfy a target property, which usually entails membership to a desired graph class. Some well-known examples of operations include vertex deletion, edge deletion, edge addition and edge contraction. In this talk we address an operation known as subgraph complementation.
Given a graph G and a subset S of its vertices, the subgraph complement G ⊕ S is the graph resulting from complementing the edge set of the subgraph induced by S in G.
We say that a graph H is a subgraph complement of G if there is an S such that H is isomorphic to G ⊕ S.
For a graph class C, the Subgraph Complementation to C problem is the problem of deciding, for a given graph G, whether G has a subgraph complement in C. The complexity of this problem has been settled for many classes C, including classes forbidding a single induced subgraph, classes of bounded degeneracy and regular graphs.
In this talk, we focus on classes of graphs of minimum/maximum degree upper/lower bounded by some value k, including the case of regular graphs. We show that the cases left open by Antony et al. (Information Processing Letters, 2025) are NP-complete and also show that they are in FPT, parameterized by k.
Based on joint work with Ivo Koch and Nina Pardal.
|
vendredi 23 mai
23
|
samedi 24 mai
24
|
dimanche 25 mai
25
|
lundi 26 mai
26
|
mardi 27 mai
27
-
15 h 00 min – 16 h 00 min
Sophie Lanco, «Oiseaux marins, sentinelles des oceans»
15 h 00 min – 16 h 00 min Sophie Lanco, «Oiseaux marins, sentinelles des oceans» bat 4, séminaire Les océans sont au cœur des enjeux climatiques, écologiques, économiques et politiques actuels. La biodiversité qu’ils abritent est soumise à des pressions cumulées, remettant en cause ses capacités d’adaptation et de résilience. Sur le plan scientifique, les océans et la biodiversité marine sont des objets frontières pour lesquels l’observation, la compréhension et la prévision font appel à une grande diversité de techniques, de modèles et de connaissances. En prenant l’exemple des oiseaux marins, nous proposerons dans cette présentation d’illustrer ces questions, la manière dont elles sont abordées aujourd’hui, notamment par les nouveaux outils de l’intelligence artificielle, et les directions possibles pour intégrer la richesse des connaissances disciplinaires dans un regard véritablement transdisciplinaire.
|
mercredi 28 mai
28
|
jeudi 29 mai
29
|
vendredi 30 mai
30
|
samedi 31 mai
31
|
|