Abdessamad Imine

According to our database1, Abdessamad Imine authored at least 91 papers between 2002 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Collaborative editing over opportunistic networks.
Int. J. Ad Hoc Ubiquitous Comput., 2022

On Privacy of Multidimensional Data Against Aggregate Knowledge Attacks.
Proceedings of the Privacy in Statistical Databases - International Conference, 2022

Towards an intelligent adaptive security framework for preventing and detecting credit card fraud.
Proceedings of the 19th IEEE/ACS International Conference on Computer Systems and Applications, 2022

Property Graph Access Control Using View-Based and Query-Rewriting Approaches.
Proceedings of the 19th IEEE/ACS International Conference on Computer Systems and Applications, 2022

2021
EdgeDoc: An edge-based distributed collaborative editing system.
Pervasive Mob. Comput., 2021

Lightweight coordination model for mobile collaborative mapping.
Int. J. Commun. Networks Distributed Syst., 2021

FOX: Fooling with Explanations : Privacy Protection with Adversarial Reactions in Social Media.
Proceedings of the 18th International Conference on Privacy, Security and Trust, 2021

Divide-and-Learn: A Random Indexing Approach to Attribute Inference Attacks in Online Social Networks.
Proceedings of the Data and Applications Security and Privacy XXXV, 2021

A Hybrid Approach for Optimizing Arabic Semantic Query Expansion.
Proceedings of the 18th IEEE/ACS International Conference on Computer Systems and Applications, 2021

2020
Privacy Risk Analysis of Online Social Networks
Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers, 2020

Consent for targeted advertising: the case of Facebook.
AI Soc., 2020

You are what emojis say about your pictures: language-independent gender inference attack on Facebook.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Online Attacks on Picture Owner Privacy.
Proceedings of the Database and Expert Systems Applications, 2020

Your Age Revealed by Facebook Picture Metadata.
Proceedings of the ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium, 2020

2019
Gender Inference for Facebook Picture Owners.
Proceedings of the Trust, Privacy and Security in Digital Business, 2019

Towards an Edge-Based Architecture for Real-Time Collaborative Editors.
Proceedings of the 16th IEEE/ACS International Conference on Computer Systems and Applications, 2019

Towards Optimistic Access Control for Cloud-Based Collaborative Editors.
Proceedings of the 16th IEEE/ACS International Conference on Computer Systems and Applications, 2019

2018
To reveal or not to reveal: balancing user-centric social benefit and privacy in online social networks.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Enabling Users to Balance Social Benefit and Privacy in Online Social Networks.
Proceedings of the 16th Annual Conference on Privacy, Security and Trust, 2018

Sensitive Attribute Prediction for Social Networks Users.
Proceedings of the Workshops of the EDBT/ICDT 2018 Joint Conference (EDBT/ICDT 2018), 2018

On Consent in Online Social Networks: Privacy Impacts and Research Directions (Short Paper).
Proceedings of the Risks and Security of Internet and Systems, 2018

Online Testing of User Profile Resilience Against Inference Attacks in Social Networks.
Proceedings of the New Trends in Databases and Information Systems, 2018

2017
Cloud patterns for mobile collaborative applications.
Int. J. Intell. Inf. Database Syst., 2017

Evaluating data convergence of collaborative editors in opportunistic networks.
Proceedings of the 6th International Conference on Information and Communication Technology and Accessibility, 2017

Two-Phase Preference Disclosure in Attributed Social Networks.
Proceedings of the Database and Expert Systems Applications, 2017

Privacy Scoring of Social Network User Profiles Through Risk Analysis.
Proceedings of the Risks and Security of Internet and Systems, 2017

2016
Network Structure Release under Differential Privacy.
Trans. Data Priv., 2016

MiCa: Lightweight and mobile collaboration across a collaborative editing service in the cloud.
Peer-to-Peer Netw. Appl., 2016

Private Link Exchange over Social Graphs.
CoRR, 2016

Detecting Communities under Differential Privacy.
Proceedings of the 2016 ACM on Workshop on Privacy in the Electronic Society, 2016

Using CSP for coordinating undo-based collaborative applications.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Analyse d'activité et exposition de la vie privée sur les médias sociaux.
Proceedings of the 16ème Journées Francophones Extraction et Gestion des Connaissances, 2016

Online Link Disclosure Strategies for Social Networks.
Proceedings of the Risks and Security of Internet and Systems, 2016

2015
Efficient Querying of XML Data Through Arbitrary Security Views.
Trans. Large Scale Data Knowl. Centered Syst., 2015

On Synthesizing a Consistent Operational Transformation Approach.
IEEE Trans. Computers, 2015

Resilient Collaboration for Mobile Cloud Computing.
ERCIM News, 2015

A Highly Concurrent Replicated Data Structure EAI Endorsed Transactions.
EAI Endorsed Trans. Collab. Comput., 2015

A Constraint-based Approach for Generating Transformation Patterns.
Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

Efficient and Decentralized Polling Protocol for General Social Networks.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Mobile collaboration: a collaborative editing service in the cloud.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A Cloud-Based Reusable Design for Mobile Data Sharing.
Proceedings of the Model and Data Engineering - 5th International Conference, 2015

Decentralized Collaborative Editing Platform.
Proceedings of the 16th IEEE International Conference on Mobile Data Management, 2015

Towards Real-Time Co-authoring of Linked-Data on the Web.
Proceedings of the Computer Science and Its Applications, 2015

Anonymizing Social Graphs via Uncertainty Semantics.
Proceedings of the 10th ACM Symposium on Information, 2015

Differentially Private Publication of Social Graphs at Linear Cost.
Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015

Mobile Co-Authoring of Linked Data in the Cloud.
Proceedings of the New Trends in Databases and Information Systems, 2015

2014
Practical access control management for distributed collaborative editors.
Pervasive Mob. Comput., 2014

Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis.
Ingénierie des Systèmes d Inf., 2014

Efficient Polling Protocol for Decentralized Social Networks.
CoRR, 2014

A Maximum Variance Approach for Graph Anonymization.
Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014

Enforcing Privacy in Decentralized Mobile Social Networks.
Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), 2014

2013
Secure Collaboration for Smartphones.
ERCIM News, 2013

On Constrained Adding Friends in Social Networks.
Proceedings of the Social Informatics - 5th International Conference, 2013

<i>SVMAX</i>: a system for secure and valid manipulation of XML data.
Proceedings of the 17th International Database Engineering & Applications Symposium, 2013

Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.
Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012
On Consistency of Operational Transformation Approach
Proceedings of the Proceedings 14th International Workshop on Verification of Infinite-State Systems, 2012

A General Approach for Securely Querying and Updating XML Data
CoRR, 2012

Secure querying of recursive XML views: a standard xpath-based technique.
Proceedings of the 21st World Wide Web Conference, 2012

A General Approach for Securely Updating XML Data.
Proceedings of the 15th International Workshop on the Web and Databases 2012, 2012

On the Polling Problem for Social Networks.
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

On Securely Manipulating XML Data.
Proceedings of the Foundations and Practice of Security - 5th International Symposium, 2012

2011
Optimistic access control for distributed collaborative editors.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Distributed Log Garbage Collector-Based Real Time Collaborative Editor for Mobile and P2P Environments.
Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

DeSCal - Decentralized Shared Calendar for P2P and Ad-Hoc Networks.
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

Un Modèle Générique de Garbage Collection pour les Eéditeurs Collaboratifs Basé sur l'Approche TO dans les environnements P2P et mobiles.
Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), 2011

2010
On Coordinating Collaborative Objects
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Safe and Efficient Strategies for Updating Firewall Policies.
Proceedings of the Trust, 2010

Symbolic Model-Checking of Optimistic Replication Algorithms.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Log garbage collector-based real time collaborative editor for mobile devices.
Proceedings of the 6th International Conference on Collaborative Computing: Networking, 2010

2009
A Flexible Access Control Model for Distributed Collaborative Editors.
Proceedings of the Secure Data Management, 6th VLDB Workshop, 2009

On Model-Checking Optimistic Replication Algorithms.
Proceedings of the Formal Techniques for Distributed Systems, 2009

Coordination Model for Real-Time Collaborative Editors.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Undo-Based Access Control for Distributed Collaborative Editors.
Proceedings of the Cooperative Design, 2009

2008
Experiments in Model-Checking Optimistic Replication Algorithms
CoRR, 2008

Decentralized concurrency control for real-time collaborative editors.
Proceedings of the 8th international conference on New technologies in distributed systems, 2008

Flexible Concurrency Control for Real-Time Collaborative Editors.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

2007
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms.
Proceedings of the Rewriting, 2007

2006
Conception Formelle d'Algorithmes de Réplication Optimiste Vers l'Edition Collaborative dans les Réseaux Pair-à-Pair. (Formal Design of Optimistic Replication Algorithms Towards Collaborative Edition in Peer-to-Peer Networks).
PhD thesis, 2006

Formal design and verification of operational transformation algorithms for copies convergence.
Theor. Comput. Sci., 2006

Component-Based Specification of Collaborative Objects.
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Data consistency for P2P collaborative editing.
Proceedings of the 2006 ACM Conference on Computer Supported Cooperative Work, 2006

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems.
Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006

2005
Towards Synchronizing Linear Collaborative Objects with Operational Transformation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
A safe and generic model for synchronizing divergent data.
Proceedings of the Actes des 1ères journées francophones Mobilité et Ubiquité 2004, 2004

Deductive Verification of Distributed Groupware Systems.
Proceedings of the Algebraic Methodology and Software Technology, 2004

Abstraction-Driven Verification of Array Programs.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003
Automatic Detection of Copies Divergence in Collaborative Editing Systems.
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

VOTE: Group Editors Analyzing Tool: System Description.
Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

Using the transformational approach to build a safe and generic data synchronizer.
Proceedings of the 2003 International ACM SIGGROUP Conference on Supporting Group Work, 2003

Proving Correctness of Transformation Functions in Real-Time Groupware.
Proceedings of the Eighth European Conference on Computer Supported Cooperative Work, 2003

2002
Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems.
Proceedings of the Programmation en logique avec contraintes, 2002


  Loading...