Design of advanced primitives for secure multiparty computation : special shuffles and integer comparison

In modern cryptography, the problem of secure multiparty computation is about the cooperation between mutually distrusting parties computing a given function. Each party holds some private information that should remain secret as much as possible throughout the computation. A large body of research initiated in the early 1980's has shown that any computable function can be evaluated using secure multiparty computation. Though these feasibility results are general, their applicability in practical situations is rather unsatisfactory. This thesis concerns the study of two particular cryptographic primitives with focus on efficiency. The first primitive studied is a generalization of verifiable shuffles of homomorphic encryptions, where the shuffler is only allowed to apply a permutation from a restricted set of permutations. In this thesis, we consider shuffles using permutations from a k-fragile set, meaning that any k input-output correspondences uniquely identify a permutation within the set. We provide verifiable shuffles restricted to the set of all rotations (1-fragile), affine transformations (2-fragile), and Möbius transformations (3-fragile). Applications of these special shuffles include fragile mixing, electronic elections, secure function evaluation using scrambled circuits, and secure integer comparison. Two approaches for verifiable rotations are presented. On the one hand, we use properties of the Discrete Fourier Transform (DFT) to express in a compact way that a rotation is applied in a shuffle. The solution is efficient, but imposes some mild restrictions on the parameters to allow DFT to work. On the other hand, we present a general solution that does not impose any parameter constraint and works on any homomorphic cryptosystem. These protocols for rotations are used to build efficient shuffling protocols for affine and Möbius transformations. The second primitive is secure integer comparison. In a general scenario, parties are given homomorphic encryptions of the bits of two integers and, after running a protocol, an encryption of a bit is produced, telling the result of the greater-than comparison of the two integers. This is a useful building block for higher-level protocols such as electronic voting, biometrics authentication or electronic auctions. A study of the relationship of other problems to integer comparison is given as well. We present two types of solutions for integer comparison. Firstly, we consider an arithmetic circuit yielding secure protocols within the framework for multiparty computation based on threshold homomorphic cryptosystems. Our circuit achieves a good balance between round and computational complexities, when compared to the similar solutions in the literature. The second type of solutions uses a intricate approach where different building blocks are used. A full analysis is made for the two-party case where efficiency of the resulting protocols compares favorably to other solutions and approaches

Boundary control for a class of dissipative differential operators including diffusion systems

In this paper we study a class of partial differential equations (PDE's), which includes Sturm-Liouville systems and diffusion equations. From this class of PDE's we define systems with control and observation through the boundary of the spatial domain. That is, we describe how to select boundary conditions, such that the resulting system has inputs and outputs acting through the boundary. Furthermore, these boundary conditions are chosen in a way that the resulting system has a nonincreasing energy.\u

A comparative study of charging assumptions in electric vehicle routing problems

International audienceElectric vehicle routing problems (eVRPs) extend classical routing problems to consider the limited driving range of electric vehicles. In general, this limitation is overcome by introducing planned detours to battery charging stations. Most existing eVRP models rely on one (or both) of the following assumptions: (i) the vehicles fully charge their batteries every time they reach a charging station, and (ii) the battery charge level is a linear function of the charging time. In practical situations, however, the amount of charge is a decision variable, and the battery charge level is a concave function of the charging time. In this research we extend current eVRP models to consider partial charging and nonlinear charging functions. We present a computational study comparing our assumptions with those commonly made in the literature. Our results suggest that neglecting partial and nonlinear charging may lead to infeasible or overly expensive solutions

Movement between crops and weeds: temporal refuges for aphidophagous insects in Central Chile

Villegas, CM (Villegas, Cinthya M.)[ 1 ] ; Verdugo, JA (Verdugo, Jaime A.)[ 1,3 ] ; Tapia, J (Tapia, Jaime)[ 2 ] ; Lavandero, B (Lavandero, Bias)[ 1 ].1 ] Univ Talca, Inst Biol Vegetal & Biotecnol, Talca, Chile.2 ] Univ Talca, Inst Quim Recursos Nat, Talca, ChileCrop edges have significant effects on populations of natural enemies, acting as source or sink habitats during the growing season. Previous observations have shown that coccinellid species are associated with thistle (Sylibum marianum (L.) Gaertn), a common exotic weed in the central valley of Chile. To determine whether thistles growing at crop edges act as a putative refuge for natural enemies, the seasonal relative abundance of aphidophagous coccinellids was estimated at 0, 10 and 25 m from the edges of three alfalfa fields. Mark-recapture studies were carried out using the trace element rubidium (Rb) to determine whether coccinellids moved between the edges and the alfalfa. The most common aphidophagous coccinellid species were Hippodamia convergens (63%), H. variegata (11%), Rhyzobius lophantae (4%) and Adalia angulifera (4%). In mid-November, the abundance of coccinellids at the edge of (0 m from the edge) the alfalfa plot increased compared to that at the center of the field (25 m from the edge), coinciding with a reduction in the population of aphids at all sampling points. Of the coccinellids captured at the thistle edge, 68% were marked with rubidium, suggesting movement of coccinellids from the alfalfa plot to the thistle growing at its edges. After the thistles were removed, coccinellids returned to the crop, as shown by the presence of marked coccinellids within the alfalfa fields at all three sampling distances. The results of this study suggest that thistles can act as a refuge for coccinellids when aphids are not available in the alfalfa fields

Asymmetric synthesis of (1R, 5S)-2-methyl-6, 7-benzomorphan via Aza-Prins reaction

(1R, 5S)-2-Methyl-6, 7-benzomorphan has been synthesised from (R)-(benzyloxy)(phenyl)acetaldehyde. On a 2-mmol scale Bi (OTf)3 promoted Aza-Prins reaction with N-tosylhomoallylamine afforded an 88/12 mixture of 6-oxa-2-azabicyclo[3.2.1]octanes. Major diastereoisomer was converted to enantiomerically pure (2S, 4S)-2-benzyl-1- methylpiperidin-4-ol via a high-yielding sequence hydrogenolysis/N-detosylation/N-methylation. Acid-catalysed intramolecular Friedel-Crafts cyclisation of the piperidinol afforded (1R, 5S)-2-methyl-6, 7-benzomorphan in five steps with a yield of 25%. © 2021 The Authors. Chirality published by Wiley Periodicals LLC

High-performance liquid chromatographic enantioseparation of unusual amino acid derivatives with axial chirality on polysaccharide-based chiral stationary phases

The successfulenantioseparationofaxiallychiralaminoacidderivativescontainingacyclohexylidene moiety onan an alyticalandsemipreparativescalewasachievedforthefirsttimebyHPLCusing polysaccharide-based chiral stationary phases. Racemicmethyl N-benzoylamino esters,easilyobtained by methanoly sisof the corresponding 5(4H)-oxazolones, were subject edtochiralHPLCresolutionusing chiral stationaryphasesbasedonimmobilized3,5-dimethylphenylcarbamatederivativesofamylose (Chiralpak® IA column)orcellulose(Chiralpak® IB column). The behaviour of both selectors under dif-ferent elution conditions was evaluated and compared. The amy los ecolumns howed better performance than the cellulose column for allenantiomers tested. These mi preparative resolution of axially chiral amino acidderivatives with different side chains has been achievedona 250mm×20mmIDChiralpak® IA columnusingtheappropriatemixtureof n-hexane/chlorofom/ethanol aseluent by successive injec-tions of asolution of the sample in chloroform. Using this protocol up to 120 m go feachenan tiomer of the correspondingaxiallychiralaminoacidderivativewereobtainedfrom300mgofracemate.[(Sa)-2a, 105 mg;(Ra)-2a, 60mg,[(Sa)-2b, 105mg;(Ra)-2b, 90mg,[(Sa)-2c, 120mg;(Ra)-2c, 100mg]

Development and evaluation of a multiplex test for the detection of atypical bacterial DNA in community-acquired pneumonia during childhood

AbstractAn incorrect or late diagnosis can lead to an increase in the morbidity and mortality caused by pneumonia, and the availability of a rapid and accurate microbiological test to verify the aetiology is imperative. This study evaluated a molecular test for the identification of the bacterial cause of atypical community-acquired pneumonia (ACAP). Fifty-four children with pneumonia were studied using bacteriological cultures, Mycoplasma pneumoniae, Coxiella burnetii, Chlamydophila pneumoniae and Legionella spp. serology, and Streptococcus pneumoniae and Legionella antigens. Simultaneously, the presence of bacterial and fungal DNA was tested for in respiratory secretion samples using the Vircell SL kit, including multiplex PCR and amplicon detection by means of line blots. There were 14 cases of ACAP caused by M. pneumoniae, with positive kit results for 13 of them, and two cases of Q-fever, with negative kit results for Coxiella burnetii. The test was negative in the remaining 38 cases (one staphylococcal pneumonia, 20 Streptococcus pneumoniae pneumonias, and 17 probable viral pneumonias). The sensitivity of the test for the detection of M. pneumoniae was 92.8% and the specificity was 100%. The Vircell SL kit allows detection of M. pneumoniae DNA in respiratory secretion samples from children with ACAP

The electric vehicle routing problem with partial charging and nonlinear charging function

Electric vehicle routing problems (eVRPs) extend classical routing problems to consider the limited driving range of electric vehicles. In general, this limitation is overcome by introducing planned detours to battery charging stations. Most existing eVRP models rely on one (or both) of the following assumptions: (i) the vehicles fully charge their batteries every time they reach a charging station, and (ii) the battery charge level is a linear function of the charging time. In practical situations, however, the amount of charge is a decision variable, and the battery charge level is a concave function of the charging time.In this paper we extend current eVRP models to consider partial charging and nonlinear charging functions. We present a computational study comparing our assumptions with those commonly made in the literature. Our results suggest that neglecting partial and nonlinear charging may lead to infeasible or overly expensive solutions