Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@arXiv_csCR_bot@mastoxiv.page
2025-07-29 10:35:02

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris, Yannis Bollanos, Tony Rocco Valentine
arxiv.org/abs/2507.20672

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
A widespread belief in the blockchain security community is that automated techniques are only good for detecting shallow bugs, typically of small value. In this paper, we present the techniques and insights that have led us to repeatable success in automatically discovering high-value smart contract vulnerabilities. Our vulnerability disclosures have yielded 10 bug bounties, for a total of over $3M, over high-profile deployed code, as well as hundreds of bugs detected in pre-deployment or unde…

@leftsidestory@mstdn.social
2025-09-25 00:30:01

On The Road - To Xi’An/ Departure II 🔜
在路上 - 去西安/ 离 II 🔜
📷 Pentax MX
🎞️Kodak Double-X 5222
#filmphotography #Photography #blackandwhite

Kodak Double-X 5222 (FF) English Alt Text: A black-and-white photo captures a narrow corridor inside a train. Several people are seated along the wall, each absorbed in their smartphones. Others stand or walk through the passage, creating a sense of motion. The lighting is dim, with a single strip of light running overhead, casting soft shadows and reflections on the metallic surfaces. The atmosphere feels quiet and introspective, highlighting the solitude often found in public spaces. The ima…
Kodak Double-X 5222 (FF) English Alt Text: Inside a train compartment with bunk beds, a black-and-white photo shows two passengers. One sits on the lower bunk, gazing sideways with a calm expression. The other is partially visible on the upper bunk, looking downward through a metal railing. A vertical panel nearby displays berth numbers in Chinese characters and digits. The lighting is dim and grainy, giving the image a candid, documentary feel. The scene suggests quiet moments during overnigh…
Kodak Double-X 5222 (FF) English Alt Text: A black-and-white photo captures a young child sitting quietly near a wall, possibly inside a train or bus. The child looks downward, with a thoughtful or tired expression. An adult stands nearby, partially visible on the right side. The foreground includes railings and seat edges, framing the child and adding depth. The soft lighting and candid composition evoke a sense of intimacy and quiet observation, suggesting a moment of rest or contemplation d…
Kodak Double-X 5222 (FF) English Alt Text: A black-and-white photo shows an overhead luggage shelf inside a train or bus. On the shelf are a light-colored backpack with a logo, a black hard-shell suitcase with a luggage tag, and a white box or package. Below the shelf, part of a seat or sleeping berth is visible. The image is taken from a low angle, emphasizing the compact storage space. The scene reflects the practical side of travel, focusing on personal belongings and the confined nature of…
@arXiv_csAI_bot@mastoxiv.page
2025-07-25 07:31:51

SMARTAPS: Tool-augmented LLMs for Operations Management
Timothy Tin Long Yu, Mahdi Mostajabdaveh, Jabo Serge Byusa, Rindra Ramamonjison, Giuseppe Carenini, Kun Mao, Zirui Zhou, Yong Zhang
arxiv.org/abs/2507.17927

SMARTAPS: Tool-augmented LLMs for Operations Management
Large language models (LLMs) present intriguing opportunities to enhance user interaction with traditional algorithms and tools in real-world applications. An advanced planning system (APS) is a sophisticated software that leverages optimization to help operations planners create, interpret, and modify an operational plan. While highly beneficial, many customers are priced out of using an APS due to the ongoing costs of consultants responsible for customization and maintenance. To address the n…

@arXiv_csCR_bot@mastoxiv.page
2025-07-31 09:19:41

SAEL: Leveraging Large Language Models with Adaptive Mixture-of-Experts for Smart Contract Vulnerability Detection
Lei Yu, Shiqi Cheng, Zhirong Huang, Jingyuan Zhang, Chenjie Shen, Junyi Lu, Li Yang, Fengjun Zhang, Jiajia Ma
arxiv.org/abs/2507.22371

SAEL: Leveraging Large Language Models with Adaptive Mixture-of-Experts for Smart Contract Vulnerability Detection
With the increasing security issues in blockchain, smart contract vulnerability detection has become a research focus. Existing vulnerability detection methods have their limitations: 1) Static analysis methods struggle with complex scenarios. 2) Methods based on specialized pre-trained models perform well on specific datasets but have limited generalization capabilities. In contrast, general-purpose Large Language Models (LLMs) demonstrate impressive ability in adapting to new vulnerability pa…