Laurent Simon

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
Preventing Supply Chain Vulnerabilities in Java with a Fine-Grained Permission Manager.
CoRR, 2023

SCORED '23: Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
SCORED '22: ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021
Estimation of Heart Rate From Tracheal Sounds Recorded for the Sleep Apnea Syndrome Diagnosis.
IEEE Trans. Biomed. Eng., 2021

2020
Spherical Fraction Beamforming.
IEEE ACM Trans. Audio Speech Lang. Process., 2020

Horizontal Privilege Escalation in Trusted Applications.
Proceedings of the 29th USENIX Security Symposium, 2020

Improving Fuzzing through Controlled Compilation.
Proceedings of the IEEE European Symposium on Security and Privacy, 2020

Reasoning with Propositional Logic: From SAT Solvers to Knowledge Compilation.
Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms, 2020

2019
Hearing your touch: A new acoustic side channel on smartphones.
CoRR, 2019

2018
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers.
Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017
An effective time-constant algorithm for drug transport to capillaries and surrounding tissues.
Comput. Biol. Medicine, 2017

A laplace transform-based technique for solving multiscale and multidomain problems: Application to a countercurrent hemodialyzer model.
Comput. Biol. Medicine, 2017

Diagnosability Planning for Controllable Discrete Event Systems.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Don't Interrupt Me While I Type: Inferring Text Entered Through Gesture Typing on Android Keyboards.
Proc. Priv. Enhancing Technol., 2016

SoK: Making Sense of Censorship Resistance Systems.
Proc. Priv. Enhancing Technol., 2016

Extension of Generalized Hammerstein model to non-polynomial inputs.
Proceedings of the 24th European Signal Processing Conference, 2016

2015
Using Incremental SAT for Testing Diagnosability of Distributed DES.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

2014
Nonparametric Identification of Nonlinear Systems in Series.
IEEE Trans. Instrum. Meas., 2014

Molecular Transport in Viscoelastic Materials: Mechanistic Properties and Chemical Affinities.
SIAM J. Appl. Math., 2014

Systemization of Pluggable Transports for Censorship Resistance.
CoRR, 2014

Post Mortem Analysis of SAT Solver Proofs.
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014

2013
Resolution enhancement of ultrasonic signals by up-sampled sparse deconvolution.
Proceedings of the IEEE International Conference on Acoustics, 2013

PIN skimmer: inferring PINs through the camera and microphone.
Proceedings of the SPSM'13, 2013

2012
Graphical process design tools for iontophoretic transdermal drug-delivery devices.
Comput. Methods Programs Biomed., 2012

Distributed Tree Decomposition with Privacy.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
Modeling and design of transdermal drug delivery patches containing an external heating device.
Comput. Chem. Eng., 2011

2010
Nonlinear System Identification Using Exponential Swept-Sine Signal.
IEEE Trans. Instrum. Meas., 2010

Analysis, Synthesis, and Classification of Nonlinear Systems Using Synchronized Swept-Sine Method for Audio Effects.
EURASIP J. Adv. Signal Process., 2010

2009
Optimal intravenous bolus-infusion drug-dosage regimen based on two-compartment pharmacokinetic models.
Comput. Chem. Eng., 2009

2008
Laser Doppler Velocimetry for Joint Measurements of Acoustic and Mean Flow Velocities: LMS-Based Algorithm and CRB Calculation.
IEEE Trans. Instrum. Meas., 2008

Distributed Consistency-Based Diagnosis.
Proceedings of the Logic for Programming, 2008

Viewing Boundary "Objects" as Boundary Constructions.
Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

2007
Application of orthogonal collocation and regression techniques for recovering parameters of a two-pathway transdermal drug-delivery model.
Comput. Chem. Eng., 2007

2006
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web.
J. Artif. Intell. Res., 2006

SomeWhere in the Semantic Web.
Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Doppler Signal Detection And Particle Time Of Flight Estimation Using Wavelet Transform For Acoustic Velocity Measurement.
Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

2005
Scalability Study of Peer-to-Peer Consequence Finding.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004
Neural network-based prediction and optimization of estradiol release from ethylene-vinyl acetate membranes.
Comput. Chem. Eng., 2004

Distributed Reasoning in a Peer-to-Peer Setting.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Data driven approaches to modeling and analysis of bioprocesses: some industrial examples.
Proceedings of the American Control Conference, 2003

2002
Modeling and control of amino acid starvation-induced apoptosis in CHO cell cultures.
Proceedings of the American Control Conference, 2002

2001
Multiresolution for SAT Checking.
Int. J. Artif. Intell. Tools, 2001

SatEx: A Web-based Framework for SAT Experimentation.
Electron. Notes Discret. Math., 2001

2000
Multi-resolution on compressed sets of clauses.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

ZRES: The Old Davis-Putman Procedure Meets ZBDD.
Proceedings of the Automated Deduction, 2000

1998
Spectrum estimation from randomly sampled velocity data [LDV].
IEEE Trans. Instrum. Meas., 1998

1996
Spectral analysis of randomly sampled processes.
Proceedings of the 8th European Signal Processing Conference, 1996


  Loading...