Source author record

Lucia Moura

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

ResearcherUnclaimed source record

math.CO Cryptography and Security Information Theory math.IT Discrete Mathematics

Catalog footprint

Research overview

7works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Existence of 3 anti-cocircular truncated Möbius planes and constructions of strength-4 covering arrays

Two projective (affine) planes with the same point sets are orthogoval if the common intersection of any two lines, one from each, has size at most two. The existence of a pair of orthogoval projective planes has been proven and published independently many times. A strength- $t$ covering array, denoted by CA $(N; t, k, v)$ , is an $N \times k$ array over a $v$ -set such that in any $t$ -set of columns, each $t$ -tuple occurs at least once in a row. A pair of orthogoval projective planes can be used to construct a strength- $3$ covering array CA $(2q^3-1; 3, q^2 + q + 1, q)$ . Our work extends this result to construct arrays of strength $4$ . A $k$ -cap in a projective geometry is a set of $k$ points no three of which are collinear. In $PG(3,q)$ , an ovoid is a maximum-sized $k$ -cap with $k =q^2+1$ . Its plane sections (circles) are the blocks of a $3-(q^2 + 1, q + 1, 1)$ design, called a Möbius plane of order $q$ . For $q$ an odd prime power, we prove the existence of three truncated Möbius planes, such that for any choice of these circles, one from each plane, their intersection size is at most three. From this, we construct a strength- $4$ covering array CA $(3q^4-2; 4, \frac{q^2+1}{2}, q)$ . For $q \geq 11$ , these covering arrays improve the size of the best-known covering arrays with the same parameters by almost 25 percent. The CA $(3q^4 -3; 4, \frac{q^2 +1}{2}, q)$ is used as the main ingredient in a recursive construction to obtain a CA $(5q^4 - 4q^3 - q^2 + 2q; 4, q^2 +1, q)$ . Some improvements are obtained in the size of the best-known arrays using these covering arrays.

preprint2022arXiv

Bounds on Covering Codes in RT spaces using Ordered Covering Arrays

In this work, constructions of ordered covering arrays are discussed and applied to obtain new upper bounds on covering codes in Rosenbloom-Tsfasman spaces (RT spaces), improving or extending some previous results.

preprint2022arXiv

Locating modifications in signed data for partial data integrity

We consider the problem of detecting and locating modifications in signed data to ensure partial data integrity. We assume that the data is divided into $n$ blocks (not necessarily of the same size) and that a threshold $d$ is given for the maximum amount of modified blocks that the scheme can support. We propose efficient algorithms for signature and verification steps which provide a reasonably compact signature size, for controlled sizes of $d$ with respect to $n$ . For instance, for fixed $d$ the standard signature size gets multiplied by a factor of $O(\log n)$ , while allowing the identification of up to $d$ modified blocks. Our scheme is based on nonadaptive combinatorial group testing and cover-free families.

preprint2022arXiv

Modification tolerant signature schemes: location and correction

This paper considers malleable digital signatures, for situations where data is modified after it is signed. They can be used in applications where either the data can be modified (collaborative work), or the data must be modified (redactable and content extraction signatures) or we need to know which parts of the data have been modified (data forensics). A \new{classical} digital signature is valid for a message only if the signature is authentic and not even one bit of the message has been modified. We propose a general framework of modification tolerant signature schemes (MTSS), which can provide either location only or both location and correction, for modifications in a signed message divided into $n$ blocks. This general scheme uses a set of allowed modifications that must be specified. We present an instantiation of MTSS with a tolerance level of $d$ , indicating modifications can appear in any set of up to $d$ message blocks. This tolerance level $d$ is needed in practice for parametrizing and controlling the growth of the signature size with respect to the number $n$ of blocks; using combinatorial group testing (CGT) the signature has size $O(d^2 \log n)$ which is close to the \new{best known} lower bound \new{of $Ω(\frac{d^2}{\log d} (\log n))$ }. There has been work in this very same direction using CGT by Goodrich et al. (ACNS 2005) and Idalino et al. (IPL 2015). Our work differs from theirs in that in one scheme we extend these ideas to include corrections of modification with provable security, and in another variation of the scheme we go in the opposite direction and guarantee privacy for redactable signatures, in this case preventing any leakage of redacted information.

preprint2022arXiv

Nested Cover-Free Families for Unbounded Fault-Tolerant Aggregate Signatures

Aggregate signatures are used to create one short proof of authenticity and integrity from a set of digital signatures. However, one invalid signature in the set invalidates the entire aggregate, giving no information on which signatures are valid. Hartung et al. (2016) propose a fault-tolerant aggregate signature scheme based on combinatorial group testing. Given a bound $d$ on the number of invalid signatures among $n$ signatures to be aggregated, this scheme uses $d$ -cover-free families to determine which signatures are invalid. These combinatorial structures guarantee a moderate increase on the size of the aggregate signature that can reach the best possible compression ratio of $O(\frac{n}{\log n})$ , for fixed $d$ , coming from an information theoretical bound. The case where the total number of signatures grows dynamically (unbounded scheme) was not satisfactorily solved in their original paper, since explicit constructions had constant compression ratios. In the present paper, we propose efficient solutions for the unbounded scheme, relying on sequences of $d$ -cover-free families that we call {\em nested families}. Some of our constructions yield high compression ratio close to \rmv{the information theoretical bound}\todo{the best known upper bound}. We also propose the use of $(d,λ)$ -cover-free families to support the loss of up to $λ-1$ parts of the aggregate.

preprint2022arXiv

Ordered Covering Arrays and Upper Bounds on Covering Codes in NRT spaces

This work shows several direct and recursive constructions of ordered covering arrays using projection, fusion, column augmentation, derivation, concatenation and cartesian product. Upper bounds on covering codes in NRT spaces are also obtained by improving a general upper bound. We explore the connection between ordered covering arrays and covering codes in NRT spaces, which generalize similar results for the Hamming metric. Combining the new upper bounds for covering codes in NRT spaces and ordered covering arrays, we improve upper bounds on covering codes in NRT spaces for larger alphabets. We give tables comparing the new upper bounds for covering codes to existing ones.

preprint2022arXiv

Ordered Orthogonal Array Construction Using LFSR Sequences

We present a new construction of ordered orthogonal arrays (OOA) of strength $t$ with $(q + 1)t$ columns over a finite field $\mathbb{F}_{q}$ using linear feedback shift register sequences (LFSRs). OOAs are naturally related to $(t, m, s)$ -nets, linear codes, and MDS codes. Our construction selects suitable columns from the array formed by all subintervals of length $\frac{q^{t}-1}{q-1}$ of an LFSR sequence generated by a primitive polynomial of degree $t$ over $\mathbb{F}_{q}$ . We prove properties about the relative positions of runs in an LFSR which guarantee that the constructed OOA has strength $t$ . The set of parameters of our OOAs are the same as the ones given by Rosenbloom and Tsfasman (1997) and Skriganov (2002), but the constructed arrays are different. We experimentally verify that our OOAs are stronger than the Rosenbloom-Tsfasman-Skriganov OOAs in the sense that ours are "closer" to being a "full" orthogonal array. We also discuss how our OOA construction relates to previous techniques to build OOAs from a set of linearly independent vectors over $\mathbb{F}_{q}$ , as well as to hypergraph homomorphisms.

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.

Lucia Moura

Research overview

Is this your work?

7 publications

Existence of 3 anti-cocircular truncated Möbius planes and constructions of strength-4 covering arrays

Bounds on Covering Codes in RT spaces using Ordered Covering Arrays

Locating modifications in signed data for partial data integrity

Modification tolerant signature schemes: location and correction

Nested Cover-Free Families for Unbounded Fault-Tolerant Aggregate Signatures

Ordered Covering Arrays and Upper Bounds on Covering Codes in NRT spaces

Ordered Orthogonal Array Construction Using LFSR Sequences

See the researcher in context

Building this map preview