Latest Research
Dismantling Complex Networks by a Neural Model Trained from Tiny Networks
Nonetheless, this article initiates insightful efforts of designing and training a neural influence ranking model (NIRM).
Social and Information Networks
Don't Reinvent the Wheel: Towards Automatic Replacement of Custom Implementations with APIs
Reusing code is a common practice in software development: It helps developers speedup the implementation task while also reducing the chances of introducing bugs, given the assumption that the reused code has been tested, possibly in production.
Software Engineering
New Parallel Order Maintenance Data Structure
One big advantage is that the comparisons are lock-free so that they can execute highly in parallel with other insertions and deletions, which achieve up to $34. 4$x speedups with $64$ workers.
Data Structures and Algorithms Distributed, Parallel, and Cluster Computing
O(n log n) algorithm for finding a solution of Erdős-Ginzburg-Ziv theorem
Erd\H{o}s-Ginzburg-Ziv theorem is a popular theorem in additive number theory, which states any sequence of $2n-1$ integers contains a subsequence of $n$ elements, with their sum is a multiple of $n$.
Data Structures and Algorithms Combinatorics
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud Solutions
An edge-to-cloud simulator executes the functionality of a large array of edge devices that communicate with cloud applications.
Software Engineering
Xscope: Hunting for Cross-Chain Bridge Attacks
Based on those patterns, we design Xscope, an automatic tool to find security violations in cross-chain bridges and detect real-world attacks.
Software Engineering Cryptography and Security
Compressing Pre-trained Models of Code into 3 MB
Inspired by this insight, the GA algorithm is designed to maximize a model's Giga floating-point operations (GFLOPs), an indicator of the model computational cost, to satisfy the constraint of the target model size.
Software Engineering
Cryptanalyzing an Image Encryption Algorithm Underpinned by 2D Lag-Complex Logistic Map
This paper analyzes security performance of an image encryption algorithm using 2D lag-complex Logistic map (LCLM), which adopts it as a pseudo-random number generator, and uses the sum of all pixel values of the plain-image as its initial value to control the random combination of the basic encryption operations.
Cryptography and Security 94A60
Virtual Reality Platform to Develop and Test Applications on Human-Robot Social Interaction
The simulation eliminates the possibility of harm to sensors, motors, and the physical structure of a real robot by enabling robotics application testing to be carried out quickly and affordably without being subjected to mechanical or electronic errors.
Robotics
A hands-on gaze on HTTP/3 security through the lens of HTTP/2 and a public dataset
Following QUIC protocol ratification on May 2021, the third major version of the Hypertext Transfer Protocol, namely HTTP/3, was published around one year later in RFC 9114.
Cryptography and Security
