Filters








6,064 Hits in 6.6 sec

Falcon Codes

Ari Juels, James Kelley, Roberto Tamassia, Nikos Triandopoulos
2015 Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15  
We introduce Falcon codes, a class of authenticated error correcting codes that are based on LT codes and achieve the following properties, for the first time simultaneously: (1) with high probability,  ...  Through judicious use of simple cryptographic tools at the core LT-coding level, Falcon codes lend themselves to secure extensions of any LT-based fountain code, in particular providing Raptor codes that  ...  We thank Charalampos Papamanthou and Elaine Shi for providing help and feedback on the application of Falcon codes to their PoR scheme [45] , as well as reference code for use in benchmarks.  ... 
doi:10.1145/2810103.2813728 dblp:conf/ccs/JuelsKTT15 fatcat:543brrm6nrdmljnlcu2zfio5we

Uprooting the Falcon Tree? [article]

Pierre-Alain Fouque, Paul Kirchner, Mehdi Tibouchi, Alexandre Wallet, Yang Yu
2019 IACR Cryptology ePrint Archive  
Signing in lattice-based hash-and-sign schemes involves sampling a lattice point according to a Gaussian distribution.  ...  and the bit-reversed order basis for FALCON) recover the element up to conjugation.  ...  This work has also received a French government support managed by the National Research Agency in the "Investing for the Future" program, under the national project RISQ P141580-2660001/DOS0044216, and  ... 
dblp:journals/iacr/FouqueKTWY19 fatcat:ihqbuyjdmfg2bmyu2n35m5qf4q

Case study of the Falcon code project

D. E. Post, R. P. Kendall, E. M. Whitney
2005 Proceedings of the second international workshop on Software engineering for high performance computing system applications - SE-HPCS '05  
We have carried a detailed study of the Falcon (Fig.1) code project. That project is located at a large institution under contract to a national sponsor.  ...  As part of the High Productivity Computing Systems (HPCS) program we are conducting a series of case studies of representative computational science projects to identify the steps involved in developing  ...  ACKNOWLEDGMENTS The authors are grateful to the members of the Falcon code team for their participation and their patience and forbearance and for allowing the computational science community to learn  ... 
doi:10.1145/1145319.1145327 fatcat:roecs4rugrdv3e6sa37mefrrcm

The Hidden Parallelepiped Is Back Again: Power Analysis Attacks on Falcon [article]

Morgane Guerreau, Ange Martinelli, Thomas Ricosset, Mélissa Rossi
2022 IACR Cryptology ePrint Archive  
Falcon is a very efficient and compact lattice-based signature finalist of the NIST's Post-Quantum standardization campaign.  ...  base sampler.  ...  We propose the first practical power analysis of the Gaussian sampling algorithm in the context of Falcon.  ... 
dblp:journals/iacr/GuerreauMRR22 fatcat:dvyinpe4ungnnnrlqcmmbx5yu4

Linked-Read Sequencing of Eight Falcons Reveals a Unique Genomic Architecture in Flux [article]

Justin Wilcox, Barbara Arca-Ruibal, Jaime Samour, Victor Mateuta, Youssef Idaghdour, Stephane Boissinot
2022 bioRxiv   pre-print
Here, we use 10X Genomics linked reads to provide new high-contiguity genomes for two gyrfalcons, a saker falcon, a lanner falcon, three subspecies of peregrine falcons, and the common kestrel.  ...  Our results reveal that falcon genomes are in a state of flux.  ...  The copyright holder for this preprint this version posted January 6, 2022. ; https://doi.org/10.1101/2022.01.05.468466 doi: bioRxiv preprint  ... 
doi:10.1101/2022.01.05.468466 fatcat:cvydwyr6vjh3dacyh5q4i5syqi

ESTIMATION OF HABITAT-SPECIFIC DEMOGRAPHY AND POPULATION GROWTH FOR PEREGRINE FALCONS IN CALIFORNIA

Matthew J. Kauffman, Winifred F. Frick, Janet Linthicum
2003 Ecological Applications  
Longterm monitoring data on this highly managed species present a unique opportunity for retrospective analysis of the factors contributing to the successful recovery of Peregrine Falcons in California  ...  , and adult survival of Peregrine Falcons in the mid-and south-coast regions of California.  ...  Overall, the Barker model provided a robust framework for modeling Peregrine Falcon survival rates based on a very disparate set of data.  ... 
doi:10.1890/01-5324 fatcat:aw7dbkcnlvaldhaj5xkv3z6gxe

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial [chapter]

Philip Daian, Yliès Falcone, Patrick Meredith, Traian Florin Şerbănuţă, Shin'ichi Shiriashi, Akihito Iwai, Grigore Rosu
2015 Lecture Notes in Computer Science  
RV-Android is a new freely available open source runtime library for monitoring formal safety properties on Android.  ...  RV-Android improves on previous Android monitoring work by replacing the JavaMOP framework with RV-Monitor, a more advanced monitoring library generation tool with core algorithmic improvements that greatly  ...  We would also like to thank the miSecurity application team, for providing a basis for the graphical user frontend we describe.  ... 
doi:10.1007/978-3-319-23820-3_24 fatcat:prsfiydlerdnvdbgi5hbgf6xpe

Third International Competition on Runtime Verification [chapter]

Giles Reger, Sylvain Hallé, Yliès Falcone
2016 Lecture Notes in Computer Science  
and use this to make suggestions for the future of the competition.  ...  The competition was held as a satellite event of the 16th International Conference on Runtime Verification (RV'16).  ...  The Laboratoire d'informatique formelle from Université du Québec à Chicoutimi lent the server for hosting the wiki and running the benchmarks.  ... 
doi:10.1007/978-3-319-46982-9_3 fatcat:6iddjtlutnhfrgmk7hk3zom7xu

Second International Competition on Runtime Verification [chapter]

Yliès Falcone, Dejan Ničković, Giles Reger, Daniel Thoma
2015 Lecture Notes in Computer Science  
and use this to make suggestions for the future of the competition.  ...  The competition was held as a satellite event of the 16th International Conference on Runtime Verification (RV'16).  ...  The Laboratoire d'informatique formelle from Université du Québec à Chicoutimi lent the server for hosting the wiki and running the benchmarks.  ... 
doi:10.1007/978-3-319-23820-3_27 fatcat:m3we3dixfbarvp4ar2a2dlxlea

Assessment and Sustainability of Logging Operations in Calabrian Pine High Forests

Bruno Bernardi, Giorgio Macrì, Giacomo Falcone, Teodora Stillitano, Souraya Benalia, Anna Irene De Luca
2022 Forests  
The methodology was based on productivity analysis and production cost analysis, while for environmental performance, the life cycle assessment (LCA) approach was adopted.  ...  using three different vehicles for timber extraction: (i) by cable skidder, (ii) by grapple skidder and (iii) by a forwarder.  ...  [23] carried out a costs analysis for three ground-logging methods in a mixed broadleaved mountainous forest. Proto et al.  ... 
doi:10.3390/f13030403 doaj:622114b2456840a985d3e18cf293eaa2 fatcat:q2ujy6gflzdmllv46ieaayaooy

COST Action IC1402 Runtime Verification Beyond Monitoring [chapter]

Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider, Volker Stolz
2018 Lecture Notes in Computer Science  
COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate and coordinate research activities.  ...  Introduction Runtime verification (RV) is a computing analysis paradigm based on observing a system at runtime to check its expected behavior.  ...  Between 2014 and 2016 three competitions were carried out comparing Runtime Verification tools for monitoring C programs, Java programs, and log files.  ... 
doi:10.1007/978-3-030-03769-7_2 fatcat:5ephf6bopndidoywqzddmw27nq

S-FIL technology: cost of ownership case study

Sunil Murthy, Michael Falcon, S. V. Sreenivasan, Daren Dance, R. Scott Mackay
2005 Emerging Lithographic Technologies IX  
The escalating costs of lithography for the sub 90nm regime have been well documented.  ...  The semiconductor industry is exploring evolutionary improvements to existing photolithographic techniques as well as disruptive, but cost effective patterning technologies for the demanding highresolution  ...  Note the values er to critically examine imprint technology, a nsitivity analysis is conducted around key imprint lithography parameters such as tool itivity analysis is presented in the T assumed for  ... 
doi:10.1117/12.599921 fatcat:ijghr4yqdjam5emw3unozdzpgq

ADME prediction with KNIME: A retrospective contribution to the second "Solubility Challenge"

Gabriela Falcón-Cano, Christophe Molina, Miguel Angel Cabrera-Pérez
2021 ADMET and DMPK  
In our previous study, we developed a computational model for aqueous solubility based on recursive random forest approaches.  ...  Computational models for predicting aqueous solubility from the molecular structure represent a promising strategy from the perspective of drug design and discovery.  ...  Acknowledgements: All the authors acknowledge KNIME and its many contributors for making the KNIME data-mining environment available free of charge, as well as Alvascience for the academic licence of alvaDesc  ... 
doi:10.5599/admet.979 pmid:35300359 pmcid:PMC8920098 fatcat:4akerbrhgncsjossu5u4mr5dne

Assessing agile methods: An empirical study

Américo Sampaio, Alexandre Vasconcelos, Pedro R. Falcone Sampaio
2004 Journal of the Brazilian Computer Society  
In this paper we describe an agile method for Web-based application development (XWebProcess) and an experiment conducted with a group of forty senior undergraduate students to assess the quality/speed  ...  effectiveness of the proposed method vis-à-vis the effectiveness of Extreme Programming (XP).  ...  Pedro wishes to thank the Starting Lecturer Scheme of the University of Manchester for supporting his work.  ... 
doi:10.1007/bf03192357 fatcat:nsy6fckjybcb5ezamcxkoxghsq

Assessing agile methods: an empirical study

Américo Sampaio, Alexandre Vasconcelos, Pedro R. Falcone Sampaio
2004 Journal of the Brazilian Computer Society  
In this paper we describe an agile method for Web-based application development (XWebProcess) and an experiment conducted with a group of forty senior undergraduate students to assess the quality/speed  ...  effectiveness of the proposed method vis-à-vis the effectiveness of Extreme Programming (XP).  ...  Pedro wishes to thank the Starting Lecturer Scheme of the University of Manchester for supporting his work.  ... 
doi:10.1590/s0104-65002004000300003 fatcat:erkuik3slvcn3hgvggen7g6ozi
« Previous Showing results 1 — 15 out of 6,064 results